Message-Passing Algorithms for the Verification of Distributed Protocols
From MaRDI portal
Publication:2938068
DOI10.1007/978-3-642-54013-4_13zbMath1428.68185OpenAlexW998299137MaRDI QIDQ2938068
Publication date: 13 January 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54013-4_13
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
This page was built for publication: Message-Passing Algorithms for the Verification of Distributed Protocols
