The following pages link to (Q3690204):
Displaying 7 items.
- Modelling concurrent interactions (Q820134) (← links)
- Reasoning about networks with many identical finite state processes (Q921983) (← links)
- Complementing deterministic Büchi automata in polynomial time (Q1116702) (← links)
- Defining concurrent processes constructively (Q1314421) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- Algebraic Methodology and Software Technology (Q5312988) (← links)
- (Q5748880) (← links)