scientific article; zbMATH DE number 1927571

zbMATH Open1012.68524MaRDI QIDQ4484496FDOQ4484496

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

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (7)

• Abstractions for fault-tolerant global computing
• Title not available (Why is that?)
• Formal molecular biology
• Tiling transactions in rewriting logic
• A pi-calculus based semantics for WS-BPEL
• \textsf{cJoin}: \textsf{Join} with communicating transactions
• Flat committed join in join

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)