Record link: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3648
http://hdl.handle.net/20.500.12708/910
-
Title: 
On the expressive power of communication primitives in parameterised systems
en
Citation: 
Aminof, B., Rubin, S., & Zuleger, F. (2015). On the expressive power of communication primitives in parameterised systems. In M. Davis, A. Fehnker, A. McIver, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (pp. 313–328). Springer. https://doi.org/10.1007/978-3-662-48899-7_22
-
CatalogPlus: 
AC15093559
-
Publisher DOI: 
10.1007/978-3-662-48899-7_22
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Aminof, Benjamin 
Rubin, Sasha 
Zuleger, Florian 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Published in: 
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings 
-
ISBN: 
9783662488980
-
Volume: 
9450
-
DOI of the book: 
10.1007/978-3-662-48899-7
-
Date (published): 
2015
-
Event name: 
LPAR: Logic for Programming, Artificial Intelligence, and Reasoning 2015 
-
Event date: 
24-Nov-2015 - 28-Nov-2015
-
Event place: 
Suva, Fiji
-
Number of Pages: 
16
-
Publisher: 
Springer, Berlin, Heidelberg
-
Abstract: 
We study foundational problems regarding the expressive power of parameterised systems. These (infinite-state) systems are composed of arbitrarily many finite-state processes that synchronise using a given communication primitive, i.e., broadcast, asynchronous rendezvous, broadcast with message loss, pairwise rendezvous, or disjunctive guards. With each communication primitive we associate the class of parameterised systems that use it. We study the relative expressive power of these classes (can systems in one class be simulated by systems in another?) and provide a complete picture with only a single question left open. Motivated by the question of separating these classes, we also study the absolute expressive power (e.g., is the set of traces of every parameterised system of a given class
en
Additional information: 
The final publication is available via <a href="https://doi.org/10.1007/978-3-662-48899-7_22" target="_blank">https://doi.org/10.1007/978-3-662-48899-7_22</a>.
-
License: 
In Copyright
en
Appears in Collections:
Conference Paper

Thumbnail
Aminof Benjamin - 2015 - On the expressive power of communication primitives in...pdf
Adobe PDF
(438.45 kB)
Open Access
Show full item record

Google ScholarTM

Check