The following pages link to CADP (Q17140):
Displaying 10 items.
- An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (Q5278211) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus (Q5326325) (← links)
- An Overview of the mCRL2 Toolset and Its Recent Advances (Q5326326) (← links)
- Formal Modeling and Analysis of Business Process Timed Constraints (Q5348540) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717495) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900952) (← links)
