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 featuring transactional scope mechanisms borrowed from the so called container-managed transactions of Java. We equip our calculus with a type system for our calculus and show that, in well-typed systems, it guarantees absence of run-time errors due to misuse of transactional mechanisms. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bocchi, L., & Tuosto, E. (2010). A java inspired semantics for transactions in SOC. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6084 LNCS, pp. 120–134). https://doi.org/10.1007/978-3-642-15640-3_9
Mendeley helps you to discover research relevant for your work.