Conflict vs causality in event structures

DOI10.1016/J.JLAMP.2020.100631MaRDI QIDQ1996864zbMATH OpenOpenAlexFDO

Authors Daniele Gorla, Ivano Salvo

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

behavioral equivalencesevent structuressemantics 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)

Recommendations

• Simultaneity in event structures
• Characterising spectra of equivalences for event structures, logically
• Reduction of event structures under history preserving bisimulation

Cites work

• A completed hierarchy of true concurrent equivalences
• A logic for true concurrency
• Communicating sequential processes
• Conflict vs causality in event structures
• scientific article; zbMATH DE number 2088670 (Why is no real title available?)
• scientific article; zbMATH DE number 3947615 (Why is no real title available?)
• scientific article; zbMATH DE number 3988725 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176723 (Why is no real title available?)
• scientific article; zbMATH DE number 3557247 (Why is no real title available?)
• scientific article; zbMATH DE number 3995041 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• scientific article; zbMATH DE number 4119653 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• Linear logic
• Modeling concurrency with partial orders
• On characterising distributability
• Petri nets, event structures and domains. I
• Practical graph isomorphism. II.
• Process algebra for synchronous communication
• Refinement of actions and equivalence notions for concurrent systems

Cited in

(11)

• Editorial: Tribute to Anna Labella
• Minimisation of event structures
• Characterising spectra of equivalences for event structures, logically
• Conflict vs causality in event structures
• Reduction of event structures under history preserving bisimulation
• Simultaneity in event structures
• scientific article; zbMATH DE number 86273 (Why is no real title available?)
• scientific article; zbMATH DE number 1361485 (Why is no real title available?)
• Adding priority to event structures
• Causal unfoldings
• Causal ambiguity and partial orders in event structures

Describes a project that uses

Uses Software

• Traces
• nauty

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996864)