The Must Preorder Revisited

DOI10.1007/978-3-540-74407-8_15MaRDI QIDQ3525639zbMATH OpenOpenAlexFDO

Authors Luca Padovani, Cosimo Laneve

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An algebraic theory for web service contracts
• A theory of contracts for web services
• A theory of contracts for strong service compliance
• A foundational theory of contracts for multi-party service composition
• Contract Based Multi-party Service Composition

Cited in

(23)

• Session types and subtyping for orchestrated interactions
• Process calculi as a tool for studying coordination, contracts and session types
• A fixed-points based framework for compliance of behavioural contracts
• A trace-based service semantics guaranteeing deadlock freedom
• Contracts as games on event structures
• Contracts for Mobile Processes
• A theory of contracts for web services
• Compliance in behavioural contracts: a brief survey
• Orchestrated session compliance
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
• A theory of contracts for strong service compliance
• An algebraic theory for web service contracts
• Multiparty testing preorders
• Counting the cost in the picalculus (extended abstract)
• Deadlock detection in linear recursive programs
• Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
• Sub-behaviour relations for session-based client/server systems
• Multiparty testing preorders
• Programming Languages and Systems
• Relating Session Types and Behavioural Contracts: The Asynchronous Case
• Non-local configuration of component interfaces by constraint satisfaction
• Relating fair testing and accordance for service replaceability
• Contract-based discovery of Web services modulo simple orchestrators

This page was built for publication: The Must Preorder Revisited

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