Communicating Sequential Processes. The First 25 Years

DOI10.1007/B136154zbMATH Open1081.68644OpenAlexW4213168192MaRDI QIDQ5709384FDOQ5709384

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

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

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

Cited In (28)

Security in a model for long-running transactions
Algebraic Semantics for Compensable Transactions
Verifying Compensating Transactions
Design and verification of long-running transactions in a timed framework
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
The Conversation Calculus: A Model of Service-Oriented Computation
Challenges in the Specification of Full Contracts
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
A calculus for long-running transactions.
Failure-divergence semantics and refinement of 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
\textsf{cJoin}: \textsf{Join} with communicating transactions
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

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)