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

DOI10.1017/S096012951400005XMaRDI QIDQ5740659zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 7167590
• Session types at the mirror
• Subtyping for session types in the pi calculus
• Session types and subtyping for orchestrated interactions
• A semantic deconstruction of session types

Cites work

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

Cited in

(20)

• Session types and subtyping for orchestrated interactions
• A fixed-points based framework for compliance of behavioural contracts
• Reversible sessions with flexible choices
• Input urgent semantics for asynchronous timed session types
• Precise subtyping for synchronous multiparty sessions
• Honesty by typing
• Reversible client/server interactions
• Behavioural analysis of sessions using the calculus of structures
• Reversing single sessions
• Typing asymmetric client-server interaction
• Orchestrated session compliance
• Reversible session-based pi-calculus
• Reversible multiparty sessions with checkpoints
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Concurrent reversible sessions
• scientific article; zbMATH DE number 7167590 (Why is no real title available?)
• Composition of synchronous communicating systems
• On Composing Communicating Systems
• Relating Session Types and Behavioural Contracts: The Asynchronous Case
• Abstract subtyping for asynchronous multiparty sessions

This page was built for publication: Sub-behaviour relations for session-based client/server systems

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