Pages that link to "Item:Q1241274"
From MaRDI portal
The following pages link to On reduction of asynchronous systems (Q1241274):
Displaying 7 items.
- Automata and concurrency (Q794437) (← links)
- Reduced models for efficient CCS verification (Q816205) (← links)
- Simulation, reduction and preservation of correctness properties of parallel systems (Q1054477) (← links)
- A unified approach for studying the properties of transition systems (Q1161289) (← links)
- Homomorphisms between models of parallel computation (Q1836982) (← links)
- Modular implementation of concurrency (Q1838041) (← links)
- Computer-based reduction technique for Petri nets (Q3489470) (← links)
