122
Voted
TGC
2010
Springer
14 years 7 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...