Reversible client/server interactions

DOI10.1007/S00165-016-0358-2MaRDI QIDQ315298zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• scientific article; zbMATH DE number 7167590
• Reversible multiparty sessions with checkpoints
• Reversing single sessions
• scientific article; zbMATH DE number 7167773
• Orchestrated session compliance

Cites work

• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 1183236 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 7167590 (Why is no real title available?)
• A theory of contracts for web services
• Bisimulations for communicating transactions (extended abstract)
• CONCUR 2004 - Concurrency Theory
• Communicating transactions (extended abstract)
• Contract-based discovery of Web services modulo simple orchestrators
• Controlling Reversibility in Higher-Order Pi
• Modelling session types using contracts
• Multiparty asynchronous session types
• Reversible session-based pi-calculus
• Reversing Higher-Order Pi
• Reversing algebraic process calculi
• Sub-behaviour relations for session-based client/server systems
• The Pairing of Contracts and Session Types

Cited in

(5)

• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Reversible sessions with flexible choices
• Concurrent reversible sessions
• Composition and decomposition of multiparty sessions
• Reversible multiparty sessions with checkpoints

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

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