Assembling Sessions

DOI10.1007/978-3-642-24372-1_19zbMath1348.68017OpenAlexW2912293563MaRDI QIDQ3172919

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

Mathematics Subject Classification ID

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

This page was built for publication: Assembling Sessions