Pages that link to "Item:Q843106"
From MaRDI portal
The following pages link to Configuration structures, event structures and Petri nets (Q843106):
Displaying 8 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- ST-structures (Q338620) (← links)
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
- Causal dynamic inference (Q1935591) (← links)
