The following pages link to (Q5750408):
Displayed 4 items.
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
- Branching bisimilarity is an equivalence indeed! (Q1350620) (← links)
- Concurrent testing of processes (Q1902297) (← links)