Reduction of event structures under history preserving bisimulation

DOI10.1016/J.JLAMP.2015.10.004zbMath1392.68281arXiv1403.7181OpenAlexW1569109463MaRDI QIDQ338613

Paolo Baldan, Abel Armas-Cervantes, Luciano García-Bañuelos

Publication date: 7 November 2016

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

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

zbMATH Keywords

history-preserving bisimilarityprime event structuresasymmetric event structuresflow event structuresreduction of event structures

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

On the expressive power of behavioral profiles ⋮ Unification and combination of a class of traversal strategies made with pattern matching and fixed-points ⋮ Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Minimisation of event structures

Cites Work

• Petri nets, event structures and domains. I
• Parallel product of event structures
• Contextual Petri nets, asymmetric event structures, and processes
• Concurrent bisimulations in Petri nets
• Minimal transition systems for history-preserving bisimulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reduction of event structures under history preserving bisimulation