Uncovering Symmetries in Irregular Process Networks

DOI10.1007/978-3-642-35873-9_29zbMath1426.68019OpenAlexW1042701259MaRDI QIDQ2926659

Richard Trefler, Kedar S. Namjoshi

Publication date: 3 November 2014

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-35873-9_29

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items

Compositional Reasoning, Model and program repair via group actions, Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms, Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker