Stuck-free conformance

DOI10.1007/978-3-540-27813-9_19MaRDI QIDQ5312903zbMATH OpenOpenAlexFDO

Authors Jakob Rehof, Cédric Fournet, Sriram K. Rajamani, C. A. R. Hoare

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Conformance checking for models of asynchronous message passing software
• Conformance of distributed systems
• Congruent weak conformance, a partial order among processes
• Relational concurrent refinement
• A hierarchy of failures-based models: theory and application

Cited in

(15)

• Revivals, stuckness and the hierarchy of CSP models
• Process calculi as a tool for studying coordination, contracts and session types
• Session coalgebras: a coalgebraic view on session types and communication protocols
• A trace-based service semantics guaranteeing deadlock freedom
• Responsiveness and stable revivals
• On the unification of process semantics: equational semantics
• Deciding Substitutability of Services with Operating Guidelines
• Congruent weak conformance, a partial order among processes
• Threaded behavior protocols
• Conformance checking for models of asynchronous message passing software
• Process equivalence problems as energy games
• Open compliance in multiparty sessions with partial typing
• Conformance notions for the coordination of interaction components
• Relating fair testing and accordance for service replaceability
• Contract-based discovery of Web services modulo simple orchestrators

Describes a project that uses

Uses Software

• Zing

This page was built for publication: Stuck-free conformance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312903)