Synchronous Multiparty Synchronizations and Transactions

DOI10.1007/978-3-540-68679-8_6zbMath1143.68489OpenAlexW1528891784MaRDI QIDQ3507358

Hernán Melgratti, Ivan Lanese

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_6

Mathematics Subject Classification ID

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

This page was built for publication: Synchronous Multiparty Synchronizations and Transactions