Pages that link to "Item:Q1161279"
From MaRDI portal
The following pages link to Deterministic buffer synchronization of sequential processes (Q1161279):
Displaying 8 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)
- On Synchronous and Asynchronous Interaction in Distributed Systems (Q3599113) (← links)
- {SC}*ECS: A class of modular and hierarchical cooperating systems (Q4633176) (← links)
- Symmetric and Asymmetric Asynchronous Interaction (Q5166614) (← links)
- Structure theory of multi-level deterministically synchronized sequential processes (Q5940915) (← links)
