2 search results - page 1 / 1 » A Java Inspired Semantics for Transactions in SOC |
173
click to vote
TGC
2010
Springer
15 years 11 days 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...
148
Voted
JLP
2008
15 years 1 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...