Pages that link to "Item:Q5709384"
From MaRDI portal
The following pages link to Communicating Sequential Processes. The First 25 Years (Q5709384):
Displaying 20 items.
- On the analysis of compensation correctness (Q444367) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- Compensation by design (Q736799) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- Design and verification of long-running transactions in a timed framework (Q955710) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- True concurrency in long-running transactions for digital ecosystems (Q2804190) (← links)
- Biological transactions for quantitative models (Q2864196) (← links)
- Recovery within long-running transactions (Q2875115) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- High-level small-step operational semantics for transactions (Q3189825) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- Challenges in the Specification of Full Contracts (Q3605474) (← links)
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation (Q3614842) (← links)
- Fundamental Approaches to Software Engineering (Q5428884) (← links)
- The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902545) (← links)
