Pages that link to "Item:Q5048942"
From MaRDI portal
The following pages link to Minimal transition systems for history-preserving bisimulation (Q5048942):
Displaying 6 items.
- Reduction of event structures under history preserving bisimulation (Q338613) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- Causality versus true-concurrency (Q2465026) (← links)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)
