CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897496
DOI10.1007/11539452zbMath1134.68316OpenAlexW1737342522MaRDI QIDQ5897496
No author found.
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (8)
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions ⋮ Distributed speculative execution for reliability and fault tolerance: an operational semantics ⋮ Service oriented computing from a process algebraic perspective ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ On the analysis of compensation correctness ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ Compensation by design
This page was built for publication: CONCUR 2005 – Concurrency Theory
