The Must Preorder Revisited
From MaRDI portal
Publication:3525639
DOI10.1007/978-3-540-74407-8_15zbMath1151.68319OpenAlexW1497860901MaRDI QIDQ3525639
Publication date: 18 September 2008
Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_15
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (18)
Contracts as games on event structures ⋮ Non-local configuration of component interfaces by constraint satisfaction ⋮ Session types and subtyping for orchestrated interactions ⋮ Multiparty testing preorders ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Contracts for Mobile Processes ⋮ Orchestrated session compliance ⋮ Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study ⋮ A trace-based service semantics guaranteeing deadlock freedom ⋮ An algebraic theory for web service contracts ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Counting the Cost in the Picalculus (Extended Abstract) ⋮ Sub-behaviour relations for session-based client/server systems ⋮ Deadlock Detection in Linear Recursive Programs ⋮ Relating fair testing and accordance for service replaceability ⋮ Contract-based discovery of Web services modulo simple orchestrators ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ A theory of contracts for strong service compliance
This page was built for publication: The Must Preorder Revisited
