Pages that link to "Item:Q1161279"
From MaRDI portal
The following pages link to Deterministic buffer synchronization of sequential processes (Q1161279):
Displaying 5 items.
- Structure theory of equal conflict systems (Q672877) (← links)
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets (Q1059399) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)
- Symmetric and Asymmetric Asynchronous Interaction (Q5166614) (← links)