The following pages link to (Q3670605):
Displayed 4 items.
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets (Q1059399) (← links)
- A formal semantics for concurrent systems with a priority relation (Q1074338) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- An extension of the taxonomy of persistent and nonviolent steps (Q2293146) (← links)