Pages that link to "Item:Q2883121"
From MaRDI portal
The following pages link to A hierarchy of reverse bisimulations on stable configuration structures (Q2883121):
Displaying 6 items.
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Event Identifier Logic (Q5740354) (← links)
