Pages that link to "Item:Q3648690"
From MaRDI portal
The following pages link to State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690):
Displaying 11 items.
- Confluence reduction for Markov automata (Q507382) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- State space reduction based on live variables analysis. (Q1398676) (← links)
- On reducing linearizability to state reachability (Q1641012) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q2693301) (← links)
- Confluence Reduction for Probabilistic Systems (Q3000663) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- Algebraic Methodology and Software Technology (Q5312978) (← links)
- Iterative state-space reduction for flexible computation (Q5940821) (← links)
- Simplifying process parameters by unfolding algebraic data types (Q6605372) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q6649542) (← links)