From µCRL to mCRL2: Motivation and Outline
暂无分享,去创建一个
[1] Jan Friso Groote,et al. Verifying a Sliding Window Protocol in µCRL , 2004, AMAST.
[2] P. Azema,et al. The Fomal Description Technique LOTOS , 2001 .
[3] John B. Shoven,et al. I , Edinburgh Medical and Surgical Journal.
[4] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[5] Jan Friso Groote,et al. Algebraic Process Verification , 2001, Handbook of Process Algebra.
[6] Robert E. Milne,et al. The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .
[7] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[8] J. F. Groote. The Syntax and Semantics of timed μ CRL , 1997 .
[9] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[10] Sjouke Mauw,et al. A process specification formalism , 1990 .
[11] Jan Friso Groote,et al. Equational Binary Decision Diagrams , 2000, LPAR.
[12] J. Bergstra,et al. Handbook of Process Algebra , 2001 .
[13] Jan Friso Groote,et al. µCRL: A Toolset for Analysing Algebraic Specifications , 2001, CAV.