Assembling Sessions

DOI10.1007/978-3-642-24372-1_19zbMATH Open1348.68017OpenAlexW2912293563MaRDI QIDQ3172919FDOQ3172919

Madhavan Mukund, Loïc Hélouët, 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

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

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositions as sessions
• Title not available (Why is that?)
• Advanced Web Session Provider for Suspensible E-services

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)