Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Sculptures in concurrency

Uproszczony widok
cris.lastimport.scopus2024-02-12T20:20:14Z
dc.abstract.enWe give a formalization of Pratt’s intuitive sculpting process for higherdimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted from) a single higher dimensional cell (hypercube). A first important result of this paper is that not all HDA can be sculpted, exemplified through several natural acyclic HDA, one being the famous “broken box” example of van Glabbeek. Moreover, we show that even the natural operation of unfolding is completely unrelated to sculpting, e.g., there are sculptures whose unfoldings cannot be sculpted. We investigate the expressiveness of sculptures, as a proper subclass of HDA, by showing them to be equivalent to regular ST-structures (an event-based counterpart of HDA) and to (regular) Chu spaces over 3 (in their concurrent interpretation given by Pratt). We believe that our results shed new light on the intuitions behind sculpting as a method of modeling concurrent behavior, showing the precise reaches of its expressiveness. Besides expressiveness, we also develop an algorithm to decide whether an HDA can be sculpted. More importantly, we show that sculptures are equivalent to Euclidean cubical complexes (being the geometrical counterpart of our combinatorial definition), which include the popular PV models used for deadlock detection. This exposes a close connection between geometric and combinatorial models for concurrency which may be of use for both areas.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorZiemiański, Krzysztof
dc.contributor.authorTrotter, Christopher
dc.contributor.authorJohansen, Christian
dc.contributor.authorFahrenberg, Uli
dc.date.accessioned2024-01-25T19:46:53Z
dc.date.available2024-01-25T19:46:53Z
dc.date.issued2021
dc.description.financePublikacja bezkosztowa
dc.description.number2
dc.description.volume17
dc.identifier.doi10.23638/LMCS-17(2:5)2021
dc.identifier.issn1860-5974
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/119093
dc.identifier.weblinkhttp://www.scopus.com/inward/record.url?eid=2-s2.0-85104994040&partnerID=MN8TOARS
dc.languageeng
dc.pbn.affiliationmathemathics
dc.relation.ispartofLogical Methods in Computer Science
dc.relation.pages5:1-5:32
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.subject.enconcurrency models
dc.subject.enhigher dimensional automata
dc.subject.enST-structures
dc.subject.ennoninterleaving
dc.subject.enexpressiveness
dc.titleSculptures in concurrency
dc.typeJournalArticle
dspace.entity.typePublication