scientific article; zbMATH DE number 2163046

MaRDI QIDQ4673433zbMATH OpenFDO

Authors Roberto Bruni, Hernan Melgratti, Ugo Montanari

Publication date 29 April 2005

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Flat committed join in join
• \textsf{cJoin}: \textsf{Join} with communicating transactions
• scientific article; zbMATH DE number 1927571
• A process calculus of atomic commit
• scientific article; zbMATH DE number 1088042

Cited in

(7)

• Distributed speculative execution for reliability and fault tolerance: an operational semantics
• Flat committed join in join
• A process calculus of atomic commit
• A new strategy for distributed compensations with interruption in long-running transactions
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• On the analysis of compensation correctness
• Failure-divergence semantics and refinement of long running transactions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4673433)