Computer Assisted Manipulation of Algebraic Process Specifications (2001)

Cached

Download Links

by J. F. Groote , B. Lisser , Jan Friso Groote , Bert Lisser
Citations:17 - 3 self

Active Bibliography

7 Analysis of Three Hybrid Systems in Time µCRL – Jan Friso Groote, J. J. Van Wamel - 1998
4 A Checker For Modal Formulas For Processes With Data – Jan Friso Groote, Tim A. C. Willemse - 2002
35 µCRL: A toolset for analysing algebraic specifications – Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol - 2001
11 Modelling Distributed Systems – Wan Fokkink , Jan Friso Groote, Michel Reniers - 2003
62 Algebraic Process Verification – J. F. Groote, M. A. Reniers
1 eRENA3.1] Demonstration and Evaluation of Inhabited Television, eRENA Deliverable 3.1 – Wan Fokkink, Jun Pang - 1998
1 Reniers. Designing and understanding the behaviour of systems: Lecture notes for RADV – Jan Friso Groote, Michel Reniers - 2007
CWI, Embedded Systems Group – Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco Van De Pol
8 The cones and foci proof technique for timed transition systems – M. B. van der Zwaag
5 Partial-Order Process Algebra (and its Relation to Petri Nets) – J.C.M. Baeten, T. Basten - 2000
1 Meadow Enriched ACP Process Algebras – J. A. Bergstra, C. A. Middelburg - 901
A Process Calculus with Finitary Comprehended Terms – J. A. Bergstra, C. A. Middelburg - 903
1 An Interface Group for Process Components ⋆ – J. A. Bergstra, C. A. Middelburg, J. A. Bergstra, C. A. Middelburg, J. A. Bergstra, C. A. Middelburg - 2007
Manual for the μCRL toolset (version 1.11) – Arno Wouters - 2000
18 Analysis of a distributed system for lifting trucks – J.F. Groote, J.Pang , A.G. Wouters - 2003
30 The Formal Specification Language mCRL2 – Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, Muck Van Weerdenburg - 2007
2 Cones and foci: A mechanical framework for protocol verification – Wan Fokkink, Jun Pang, Jaco Pol
8 Model-checking processes with data – J. F. Groote, T. A. C. Willemse - 2005
9 Cones and Foci for Protocol Verification Revisited – Wan Fokkink, Jun Pang - 2003