We provide a behavioural logic for configuration structures, a model due to van Glabbeek and Plotkin which generalises the families of (finite) configurations of event structures. The logic is a conservative extension of a logic provided by Baldan and Crafa for prime event structures. We show that logical equivalence can be characterized as a form of hereditary history preserving bisimilarity. We compare such a notion of bisimilarity with an equivalence proposed by van Glabbeek in the setting of higher-dimensional automata, showing that, in general, it is finer, while the two notions coincide in the framework of general event structures. Finally, we explore how to restrict the general logic to capture a notion of history preserving bisimilarity.

Behavioural Logics for Configuration Structures / Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 913(2022), pp. 94-112. [10.1016/j.tcs.2022.02.018]

Behavioural Logics for Configuration Structures

Daniele Gorla
;
Ivano Salvo
2022

Abstract

We provide a behavioural logic for configuration structures, a model due to van Glabbeek and Plotkin which generalises the families of (finite) configurations of event structures. The logic is a conservative extension of a logic provided by Baldan and Crafa for prime event structures. We show that logical equivalence can be characterized as a form of hereditary history preserving bisimilarity. We compare such a notion of bisimilarity with an equivalence proposed by van Glabbeek in the setting of higher-dimensional automata, showing that, in general, it is finer, while the two notions coincide in the framework of general event structures. Finally, we explore how to restrict the general logic to capture a notion of history preserving bisimilarity.
2022
Event Structures, Behavioral Equivalences, Semantics of True Concurrency, Modal Logics
01 Pubblicazione su rivista::01a Articolo in rivista
Behavioural Logics for Configuration Structures / Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 913(2022), pp. 94-112. [10.1016/j.tcs.2022.02.018]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1572428
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact