scientific article; zbMATH DE number 1927571

MaRDI QIDQ4484496zbMATH OpenFDO

Authors Roberto Bruni, Ugo Montanari, Cosimo Laneve

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210321.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1088042
• Equivalence and optimization of relational transactions
• Transaction calculus (invited paper)
• A transactional object calculus

Cited in

(7)

• Abstractions for fault-tolerant global computing
• scientific article; zbMATH DE number 2163046 (Why is no real title available?)
• Formal molecular biology
• Tiling transactions in rewriting logic
• A pi-calculus based semantics for WS-BPEL
• Flat committed join in join
• \textsf{cJoin}: \textsf{Join} with communicating 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 Q4484496)