How to implement an idempotent transactional service?

This is draft for a blog post - some day. It is based on a talk by Udi Dahan: Reliable Messaging Without Distributed Transactions.