From μCRL to mCRL2. Motivation and Outline

Electronic Notes in Theoretical Computer Science

Volumn 162, Issue 1, 2006, Pages 191-196

  Groote, Jan Friso ^a   Mathijssen, Aad ^a   van Weerdenburg, Muck ^a   Usenko, Yaroslav ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

behavioural analysis; data types; mCRL2; process algebra

Indexed keywords

DATA ACQUISITION; FUNCTIONS; LINEAR ALGEBRA; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; PETRI NETS;

BEHAVIOURAL ANALYSIS; MCRL2; PROCESS ALGEBRA;

FORMAL LANGUAGES;

EID: 33748886704     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.101     Document Type: Article

References (9)

1. Blom S.C.C., Fokkink W.J., Groote J.F., van Langevelde I., Lisser B., and van de Pol J.C. μCRL: A Toolset for Analysing Algebraic Specifications. proceedings CAV'01. LNCS 2102 (2001) 250-254
2. In: van Eijk P.H.J., Vissers C.A., and Diaz M. (Eds). The formal description technique LOTOS (1989), Elsevier Science Publishers B.V.
3. Fokkink W., Groote J.F., Pang J., Badban B., and van de Pol J.C. Verifying a sliding window protocol in μCRL. In: Rattray C., Maharaj S., and Shankland C. (Eds). proceedings of the 10th International Conference on Algebraic Methodology and Software Technology. Stirling, Scotland. LNCS 3116 (2004), Springer-Verlag 148-163
4. J.F. Groote. The syntax and semantics of timed μCRL. Technical report SEN-R9709, CWI, Amsterdam, 1997
5. Groote J.F., and van de Pol J.C. Equational Binary Decision Diagrams. In: Parigot M., and Voronkov A. (Eds). Logic for Programming and Reasoning. LPAR2000. Lecture Notes in Artificial Intelligence volume 1955 (2000), Springer Verlag 161-178
6. Groote J.F., and Reniers M. In: Bergstra J.A., Ponse A., and Smolka S.A. (Eds). Algebraic process verification. Handbook of Process Algebra (2001), Elsevier, Amsterdam 1151-1208
7. Holzmann G.J. The spin model checker: Primer and reference manual (2003), Addison-Wesley
8. Mauw S., and Veltink G.J. A process specification formalism. Fundamenta Informaticae XIII (1990) 85-139
9. Tanenbaum A.S. Computer Networks (1981), Prentice Hall