Pages that link to "Item:Q5505595"
From MaRDI portal
The following pages link to Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595):
Displaying 6 items.
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Reachability for finite-state process algebras using Horn clauses (Q2842001) (← links)
- Reachability for Finite-State Process Algebras Using Static Analysis (Q3172877) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- (Q4422085) (← links)
- Simplifying process parameters by unfolding algebraic data types (Q6605372) (← links)