The following pages link to (Q2760254):
Displaying 18 items.
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- Process-algebraic approaches for multi-agent systems: an overview (Q814895) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- Hybrid process algebra (Q1763160) (← links)
- A brief history of process algebra (Q1781995) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- Multiparty Contract Signing Over a Reliable Network (Q2804932) (← links)
- Relating Hybrid Chi to Other Formalisms (Q2864397) (← links)
- Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi (Q2870190) (← links)
- Dynamic Consistency in Process Algebra: From Paradigm to ACP (Q5179202) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)
