Conflict vs causality in event structures

DOI10.1016/j.jlamp.2020.100631OpenAlexW3109900459MaRDI QIDQ1996864

Ivano Salvo, Daniele Gorla

Publication date: 26 February 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.08636

zbMATH Keywords

event structuresbehavioral equivalencessemantics of true concurrency

Mathematics Subject Classification ID

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 ⋮ Editorial: Tribute to Anna Labella

Uses Software

• nauty
• Traces

Cites Work

• Linear logic
• A completed hierarchy of true concurrent equivalences
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I
• Practical graph isomorphism. II.
• On Characterising Distributability
• Process algebra for synchronous communication
• Communicating sequential processes
• A Logic for True Concurrency
• Refinement of actions and equivalence notions for concurrent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conflict vs causality in event structures