On the Expressive Power of Communication Primitives in Parameterised Systems

DOI10.1007/978-3-662-48899-7_22zbMath1471.68160OpenAlexW2206615804MaRDI QIDQ3460063

Florian Zuleger, Sasha Rubin, Benjamin Aminof

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3648

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)

Related Items (4)

Parameterized model checking of rendezvous systems ⋮ The polynomial complexity of vector addition systems with states ⋮ Unnamed Item ⋮ Model Checking Parameterised Multi-token Systems via the Composition Method

This page was built for publication: On the Expressive Power of Communication Primitives in Parameterised Systems