Communicating Sequential Processes. The First 25 Years

DOI10.1007/B136154MaRDI QIDQ5709384zbMATH OpenOpenAlexFDO

Authors

Publication date 29 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136154

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Failure-divergence semantics and refinement of long running transactions
• Design and verification of long-running transactions in a timed framework
• Trace-oriented models of concurrency
• Abstract interpretation of trace semantics for concurrent calculi
• Fundamental Approaches to Software Engineering
• High-level small-step operational semantics for transactions
• A trace semantics for Petri nets

Cited in

(28)

• Security in a model for long-running transactions
• Algebraic Semantics for Compensable Transactions
• Design and verification of long-running transactions in a timed framework
• Verifying Compensating Transactions
• High-level small-step operational semantics for transactions
• Event-Based Service Coordination
• Flexible specification of interoperable transactions
• Service oriented computing from a process algebraic perspective
• Challenges in the Specification of Full Contracts
• The Conversation Calculus: A Model of Service-Oriented Computation
• Biological transactions for quantitative models
• On the analysis of compensation correctness
• Compensation by design
• Recovery within long-running transactions
• Transaction calculus (invited paper)
• An accessible verification environment for UML models of services
• True concurrency in long-running transactions for digital ecosystems
• Compensable Programs
• Failure-divergence semantics and refinement of long running transactions
• A calculus for long-running transactions.
• An Observational Model for Transactional Calculus of Services Orchestration
• 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
• On the expressive power of process interruption and compensation
• A formal approach to the engineering of domain-specific distributed systems
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• \textsf{cJoin}: \textsf{Join} with communicating transactions

This page was built for publication: Communicating Sequential Processes. The First 25 Years

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5709384)