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