On the Expressive Power of Communication Primitives in Parameterised Systems
DOI10.1007/978-3-662-48899-7_22zbMATH Open1471.68160OpenAlexW2206615804MaRDI QIDQ3460063FDOQ3460063
Authors: Benjamin Aminof, Sasha Rubin, Florian Zuleger 
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
Recommendations
- Foundations of Software Science and Computation Structures
- Comparing communication primitives via their relative expressive power
- On the expressiveness of polyadic and synchronous communication in higher-order process calculi
- On the expressiveness of communication channels for object nets
- Semantics of communication in simple multimodular programs
- scientific article; zbMATH DE number 1173679
- Communication set generations with CSD calculus and expression-rewriting framework
- scientific article; zbMATH DE number 2087502
- Expressiveness of communication in answer set programming
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (9)
- On the Expressive Power of Primitives for Compensation Handling
- Title not available (Why is that?)
- On the Expressiveness of Forwarding in Higher-Order Communication
- Foundations of Software Science and Computation Structures
- Parameterized model checking of rendezvous systems
- The polynomial complexity of vector addition systems with states
- Model checking parameterised multi-token systems via the composition method
- Title not available (Why is that?)
- Semantics of communication in simple multimodular programs
This page was built for publication: On the Expressive Power of Communication Primitives in Parameterised Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460063)
