CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452MaRDI QIDQ5897496zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Theoretical foundations for compensations in flow composition languages
• Fundamental Approaches to Software Engineering
• Compensation by design
• On the analysis of compensation correctness
• Compensable transactions

Cited in

(12)

• Distributed speculative execution for reliability and fault tolerance: an operational semantics
• A new strategy for distributed compensations with interruption in long-running transactions
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
• Compensation in Workflow Nets
• On the analysis of compensation correctness
• Theoretical foundations for compensations in flow composition languages
• A WSDL-based type system for asynchronous WS-BPEL processes
• Fundamental Approaches to Software Engineering
• Failure-divergence semantics and refinement of long running transactions
• Compensation by design
• Service oriented computing from a process algebraic perspective

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)