DC Field
Value
Language
dc.contributor.author
Aminof, Benjamin
-
dc.contributor.author
Rubin, Sasha
-
dc.contributor.author
Zuleger, Florian
-
dc.contributor.editor
Davis, Martin
-
dc.contributor.editor
Fehnker, Ansgar
-
dc.contributor.editor
McIver, Annabelle
-
dc.contributor.editor
Voronkov, Andrei
-
dc.date.accessioned
2020-06-27T18:24:00Z
-
dc.date.issued
2015
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Aminof, B., Rubin, S., &#38; Zuleger, F. (2015). On the expressive power of communication primitives in parameterised systems. In M. Davis, A. Fehnker, A. McIver, &#38; A. Voronkov (Eds.), <i>Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings</i>. Springer Berlin. https://doi.org/10.1007/978-3-662-48899-7_22</div> </div>
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3648
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/910
-
dc.description
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>.
-
dc.description.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
dc.description.sponsorship
Austrian Science Funds (FWF) Austrian National Research Network (RiSE)
-
dc.description.sponsorship
Vienna Science and Technology Fund (WWTF)
-
dc.language
English
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
On the expressive power of communication primitives in parameterised systems
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.relation.isbn
9783662488980
-
dc.relation.doi
10.1007/978-3-662-48899-7
-
dc.relation.issn
0302-9743
-
dc.relation.grantno
S11403-N23
-
dc.relation.grantno
ICT12-059
-
dc.rights.holder
Springer-Verlag Berlin Heidelberg 2015
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
-
tuw.container.volume
9450
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer Berlin
-
tuw.relation.publisherplace
Heidelberg
-
tuw.version
am
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.publisher.doi
10.1007/978-3-662-48899-7_22
-
dc.identifier.libraryid
AC15093559
-
dc.description.numberOfPages
15
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-3648
-
tuw.author.orcid
0000-0003-1468-8398
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.event.name
LPAR: Logic for Programming, Artificial Intelligence, and Reasoning 2015
-
tuw.event.startdate
24-11-2015
-
tuw.event.enddate
28-11-2015
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Suva
-
tuw.event.country
FJ
-
tuw.event.presenter
Aminof, Benjamin
-
item.grantfulltext
open
-
item.openairetype
conference paper
-
item.fulltext
with Fulltext
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.orcid
0000-0003-1468-8398
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
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 simple item record

Page view(s)

395
checked on Dec 1, 2023

Download(s)

293
checked on Dec 1, 2023

Google ScholarTM

Check