CONCUR 2005 – Concurrency Theory
DOI10.1007/11539452zbMATH Open1134.68316OpenAlexW1737342522MaRDI QIDQ5897496FDOQ5897496
Authors:
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
Recommendations
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (12)
- A WSDL-based type system for asynchronous WS-BPEL processes
- Service oriented computing from a process algebraic perspective
- Theoretical foundations for compensations in flow composition languages
- On the analysis of compensation correctness
- Compensation by design
- Compensation in Workflow Nets
- Models of Computation: A Tribute to Ugo Montanari’s Vision
- Distributed speculative execution for reliability and fault tolerance: an operational semantics
- Failure-divergence semantics and refinement of long running transactions
- Fundamental Approaches to Software Engineering
- A new strategy for distributed compensations with interruption in long-running transactions
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
This page was built for publication: CONCUR 2005 – Concurrency Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897496)
