Pages that link to "Item:Q1059399"
From MaRDI portal
The following pages link to An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets (Q1059399):
Displaying 5 items.
- A methodology for constructing communication protocols with multiple concurrent functions (Q1112596) (← links)
- Reduction and covering of infinite reachability trees (Q1173681) (← links)
- Verifying identical communicating processes is undecidable (Q1269916) (← links)
- Well-abstracted transition systems: Application to FIFO automata. (Q1401924) (← links)
- Non axiomatisability of positive relation algebras with constants, via graph homomorphisms (Q5089316) (← links)
