Reversible client/server interactions

DOI10.1007/S00165-016-0358-2zbMath1345.68016OpenAlexW2303035549MaRDI QIDQ315298

Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Franco Barbanera

Publication date: 20 September 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/1597454

zbMATH Keywords

session typescoinductionbehavioural semanticsclient/server interactionsemantics of subtypingsub-behaviour

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Distributed systems (68M14) Network protocols (68M12) Internet topics (68M11)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Composition and decomposition of multiparty sessions ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversible session-based pi-calculus
• Contract-based discovery of Web services modulo simple orchestrators
• Reversing algebraic process calculi
• Controlling Reversibility in Higher-Order Pi
• A theory of contracts for web services
• Multiparty asynchronous session types
• The Pairing of Contracts and Session Types
• Reversing Higher-Order Pi
• Communicating Transactions
• CONCUR 2004 - Concurrency Theory
• Bisimulations for Communicating Transactions
• Sub-behaviour relations for session-based client/server systems
• Modelling session types using contracts

This page was built for publication: Reversible client/server interactions