Search: onr:"swepub:oai:gup.ub.gu.se/319965" >
A PO Characterisati...
-
Abd Alrahman, Yehia,1986Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik, datavetenskap (GU),Department of Computer Science and Engineering, Computing Science (GU)
(author)
A PO Characterisation ofReconfiguration
- Article/chapterEnglish2022
Publisher, publication year, extent ...
-
2022-10-03
-
Cham :Springer International Publishing,2022
Numbers
-
LIBRIS-ID:oai:gup.ub.gu.se/319965
-
2077/74182hdl
-
https://gup.ub.gu.se/publication/319965URI
-
https://doi.org/10.1007/978-3-031-17715-6_5DOI
Supplementary language notes
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:kon swepub-publicationtype
Notes
-
We consider partial order semantics of concurrent systems in which local reconfigurations may have global side effects. That is, local changes happening to an entity may block or unblock events relating to others, namely, events in which the entity does not participate. We show that partial order computations need to capture additional restrictions about event ordering, i.e., restrictions that arise from such reconfigurations. This introduces ambiguity where different partial orders represent exactly the same events with the same participants happening in different orders, thus defeating the purpose of using partial order semantics. To remove this ambiguity, we suggest an extension of partial orders called glued partial orders. We show that glued partial orders capture all possible forced reordering arising from said reconfigurations. Furthermore, we show that computations belonging to different glued partial orders are only different due to non-determinism. We consider channeled transition systems and Petri-nets with inhibiting arcs as examples.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Martel, Mauricio
(author)
-
Piterman, Nir,1971Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik, datorteknik (GU),Department of Computer Science and Engineering, Computer Engineering (GU)(Swepub:gu)xpitni
(author)
-
Göteborgs universitetInstitutionen för data- och informationsteknik, datavetenskap (GU)
(creator_code:org_t)
Related titles
-
In:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Cham : Springer International Publishing0302-97431611-3349
Internet link
Find in a library
To the university's database