Sökning: 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)
(författare)
A PO Characterisation ofReconfiguration
- Artikel/kapitelEngelska2022
Förlag, utgivningsår, omfång ...
-
2022-10-03
-
Cham :Springer International Publishing,2022
Nummerbeteckningar
-
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
Kompletterande språkuppgifter
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Martel, Mauricio
(författare)
-
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
(författare)
-
Göteborgs universitetInstitutionen för data- och informationsteknik, datavetenskap (GU)
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Cham : Springer International Publishing0302-97431611-3349
Internetlänk
Hitta via bibliotek
Till lärosätets databas