Communicating Sequential Processes. The First 25 Years

DOI10.1007/b136154zbMath1081.68644OpenAlexW4213168192MaRDI QIDQ5709384

No author found.

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)

Related Items

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions, Service oriented computing from a process algebraic perspective, An accessible verification environment for UML models of services, Event-Based Service Coordination, On the analysis of compensation correctness, An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems, Failure-divergence semantics and refinement of long running transactions, Challenges in the Specification of Full Contracts, Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation, Compensation by design, The Conversation Calculus: A Model of Service-Oriented Computation, A formal approach to the engineering of domain-specific distributed systems, An Observational Model for Transactional Calculus of Services Orchestration, Biological Transactions for Quantitative Models