The following pages link to Algebraic process verification. (Q2760254):
Displaying 29 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)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- A formal axiomatization for alphabet reasoning with parametrized processes (Q1271852) (← 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 usability of process algebra: An architectural view (Q1781999) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- A computer checked algebraic verification of a distributed summation algorithm (Q2576570) (← 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)
- A Context-Free Process as a Pushdown Automaton (Q3541013) (← links)
- Five Determinisation Algorithms (Q3602811) (← links)
- A Framework for Automatically Checking Anonymity with μCRL (Q3608464) (← links)
- Refined Interfaces for Compositional Verification (Q3613065) (← links)
- (Q3819969) (← 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)
- (Q5754519) (← links)
