Pages that link to "Item:Q1836982"
From MaRDI portal
The following pages link to Homomorphisms between models of parallel computation (Q1836982):
Displaying 6 items.
- Testing for unboundedness of fifo channels (Q685434) (← links)
- Simulation, reduction and preservation of correctness properties of parallel systems (Q1054477) (← links)
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets (Q1059399) (← links)
- On termination and phase changes in the presence of unreliable communication (Q1069696) (← links)
- Reduction and covering of infinite reachability trees (Q1173681) (← links)
- A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets (Q1960543) (← links)
