TGC
2010
Springer
13 years 2 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...