A Concurrent Calculus with Atomic Transactions

DOI10.1007/978-3-540-71316-6_5zbMath1187.68062OpenAlexW1490472435MaRDI QIDQ5756487

Lucia Acciai, Silvano Dal Zilio, Michele Boreale

Publication date: 4 September 2007

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_5

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items

On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues, Transactions in Constraint Handling Rules