The following pages link to (Q4015945):
Displaying 5 items.
- Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
- A hierarchy of reverse bisimulations on stable configuration structures (Q2883121) (← links)
- Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- A Logic for True Concurrency (Q5501929) (← links)