Relating fair testing and accordance for service replaceability
From MaRDI portal
Publication:974133
DOI10.1016/j.jlap.2009.12.001zbMath1208.68087MaRDI QIDQ974133
Arjan J. Mooij, Marc Voorhoeve, Christian Stahl
Publication date: 27 May 2010
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2009.12.001
68M15: Reliability, testing and fault tolerance of networks and computer systems
Related Items
Fair subtyping for multi-party session types, Undecidability of accordance for open systems with unbounded message queues, Trace- and failure-based semantics for responsiveness
Cites Work
- Unnamed Item
- Unnamed Item
- Modular construction and partial order semantics of Petri nets
- Refusal testing
- Fair testing
- Extensional equivalences for transition systems
- Testing equivalences for processes
- Contract Based Multi-party Service Composition
- The Must Preorder Revisited
- Does My Service Have Partners?
- Deciding Substitutability of Services with Operating Guidelines
- A Theory of Communicating Sequential Processes
- Process Algebra
- Divergence and fair testing
- Computer Aided Verification
- CONFLICTS AND FAIR TESTING
- Liveness, Fairness and Impossible Futures