The following pages link to (Q3614665):
Displaying 10 items.
- mCRL2 (Q14230) (← links)
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Verification of Context-Dependent Channel-Based Service Models (Q3066118) (← links)
- Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (Q3066124) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)