Assembling Sessions

DOI10.1007/978-3-642-24372-1_19MaRDI QIDQ3172919zbMATH OpenOpenAlexFDO

Authors Loïc Hélouët, Madhavan Mukund, Philippe Darondeau

Publication date 7 October 2011

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24372-1_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1452550
• Assembling a rearrangement
• Propositions as sessions
• Propositions as sessions
• Affine sessions
• Bargaining for assembly
• Efficient sessions
• MEETINGS AND MECHANISMS

Cited in

(6)

• Advanced Web Session Provider for Suspensible E-services
• Session types for safe web service orchestration
• scientific article; zbMATH DE number 1949555 (Why is no real title available?)
• scientific article; zbMATH DE number 7583728 (Why is no real title available?)
• Propositions as sessions
• scientific article; zbMATH DE number 2036316 (Why is no real title available?)

This page was built for publication: Assembling Sessions

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