The following pages link to (Q3766863):
Displaying 5 items.
- On the border of causality: contact and confusion (Q672875) (← links)
- A characterization of systems derived from terminating concurrent histories (Q1143805) (← links)
- Analysis of Petri nets by stepwise refinements (Q1255320) (← links)
- Formalization of semantics of systems with unreliable agents by means of nets of active resources (Q1758678) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)
