cJoin: Join with communicating transactions

DOI10.1017/S0960129512000928zbMath1361.68060OpenAlexW2058294397MaRDI 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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) 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)

Related Items (1)

Distinguishing between communicating transactions

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

This page was built for publication: cJoin: Join with communicating transactions