Zur Seitenansicht
 

Titelaufnahme

Titel
On the expressive power of communication primitives in parameterised systems
Verfasser / Verfasserin Aminof, Benjamin ; Rubin, Sasha ; Zuleger, Florian
Erschienen in
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings : Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei, Berlin, Heidelberg, 2015, S. 313-328
Erschienen2015
SpracheEnglisch
SerieLecture Notes in Computer Science ; 9450
DokumenttypAufsatz in einem Sammelwerk
Projekt-/ReportnummerAustrian Science Fund (FWF): Austrian National Research Network S11403-N23 (RiSE)
Projekt-/ReportnummerVienna Science and Technology Fund (WWTF): ICT12-059
ISBN9783662488980
URNurn:nbn:at:at-ubtuw:3-3648 Persistent Identifier (URN)
DOI10.1007/978-3-662-48899-7_22 
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
On the expressive power of communication primitives in parameterised systems [0.42 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Englisch)

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

Notiz
Notiz
Statistik
Das PDF-Dokument wurde 12 mal heruntergeladen.