cJoin: Join with communicating transactions
From MaRDI portal
Publication:5740633
DOI10.1017/S0960129512000928zbMath1361.68060MaRDI QIDQ5740633
Roberto Bruni, Ugo Montanari, Hernán Melgratti
Publication date: 27 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129512000928
68N20: Theory of compilers and interpreters
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Cites Work
- Unnamed Item
- The chemical abstract machine
- A calculus of mobile processes. I
- Abstractions for fault-tolerant global computing
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions
- On the Expressive Power of Primitives for Compensation Handling
- Reversing Higher-Order Pi
- Communicating Transactions
- The notions of consistency and predicate locks in a database system
- Concurrent models for Linda with transactions