On the Expressive Power of Communication Primitives in Parameterised Systems

DOI10.1007/978-3-662-48899-7_22MaRDI QIDQ3460063zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(10)

• 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
• On the Expressiveness of Forwarding in Higher-Order Communication
• On the Expressive Power of Primitives for Compensation Handling
• scientific article; zbMATH DE number 1543360 (Why is no real title available?)
• scientific article; zbMATH DE number 7559502 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• Parameterized model-checking of discrete-timed networks and symmetric-broadcast systems
• 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)