Pages that link to "Item:Q820124"
From MaRDI portal
The following pages link to State space reduction for process algebra specifications (Q820124):
Displaying 13 items.
- CAESAR (Q40852) (← links)
- Static analysis of IMC (Q444504) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- Efficient algorithms for three reachability problems in safe Petri nets (Q2117182) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Reflections on the future of concurrency theory in general and process calculi in particular (Q2870196) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- (Q4806211) (← links)
- Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Q5100747) (← links)
- Algebraic Methodology and Software Technology (Q5312978) (← links)