CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
No abstract available.
Related papers
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes TACAS 2011
- CADP - A Protocol Validation and Verification Toolbox CAV 1996
- A Set of Performance and Dependability Analysis Components for CADP TACAS 2003
- Preface JFP 2009
- A Toolbox for the Analysis of Discrete Event Dynamic Systems CAV 1999
- Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141 JFP 2009
- A history of MATLAB HOPL 2020
- Tight analysis of the performance potential of thread speculation using spec CPU 2006 PPoPP 2007