Sub-behaviour relations for session-based client/server systems

DOI10.1017/S096012951400005XzbMath1361.68159OpenAlexW2110777418MaRDI QIDQ5740659

Franco Barbanera, Ugo de'Liguoro

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012951400005x

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Session types and subtyping for orchestrated interactions ⋮ Reversible client/server interactions ⋮ Reversing Single Sessions ⋮ Orchestrated session compliance ⋮ Composition of synchronous communicating systems ⋮ Precise subtyping for synchronous multiparty sessions ⋮ On Composing Communicating Systems ⋮ Unnamed Item ⋮ Honesty by Typing ⋮ Reversible session-based pi-calculus ⋮ Unnamed Item ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices ⋮ Input urgent semantics for asynchronous timed session types

Cites Work

• An algebra of behavioural types
• Fair testing
• Contract-based discovery of Web services modulo simple orchestrators
• A complete algebraic characterization of behavioral subtyping
• Subtyping for session types in the pi calculus
• Mutually Testing Processes
• On projecting processes into session types
• Contracts for Mobile Processes
• Typing Asymmetric Client-Server Interaction
• The Pairing of Contracts and Session Types
• Contract Based Multi-party Service Composition
• The Must Preorder Revisited