Behavioural logics for configuration structures

DOI10.1016/J.TCS.2022.02.018zbMath1483.68222OpenAlexW4213006484MaRDI QIDQ2123053

Tommaso Padoan, Paolo Baldan, Ivano Salvo, Daniele Gorla

Publication date: 7 April 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2022.02.018

zbMATH Keywords

behavioural equivalencesmodal logicsevent structuresconfiguration structuressemantics of true concurrency

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Characterising spectra of equivalences for event structures, logically ⋮ Minimisation of event structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Typed event structures and the linear \(\pi \)-calculus
• Petri nets, event structures and domains. I
• Bisimulation from open maps
• On the expressiveness of higher dimensional automata
• Concurrent bisimulations in Petri nets
• Hereditary History-Preserving Bisimilarity: Logics and Automata
• A Logic for True Concurrency
• A Logic for True Concurrency
• Event Identifier Logic
• Event Structure Semantics for Nominal Calculi
• Refinement of actions and equivalence notions for concurrent systems

This page was built for publication: Behavioural logics for configuration structures