Typing asymmetric client-server interaction

DOI10.1007/978-3-642-11623-0_5MaRDI QIDQ3400915zbMATH OpenOpenAlexFDO

Authors Franco Barbanera, Sara Capecchi, Ugo de'Liguoro

Publication date 28 January 2010

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11623-0_5

zbMATH Keywords

client-server interaction protocolscontro/covarianceprocess calculisession typessubtypingtype systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Sub-behaviour relations for session-based client/server systems
• Session types and subtyping for orchestrated interactions
• Multiparty asynchronous session types
• Structured Interactional Exceptions in Session Types
• Undecidability of asynchronous session subtyping

Cited in

(2)

• An algebraic theory for web service contracts
• Sub-behaviour relations for session-based client/server systems

This page was built for publication: Typing asymmetric client-server interaction

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