Communicating Sequential Processes. The First 25 Years
From MaRDI portal
Publication:5709384
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)