The Formal Specification Language mCRL2

The Formal Specification Language mCRL2 (2007)

Cached

Download Links

[www.win.tue.nl]
[drops.dagstuhl.de]

Other Repositories/Bibliography

DBLP

by Jan Friso Groote , Aad Mathijssen , Michel Reniers , Yaroslav Usenko , Muck Van Weerdenburg

Venue:	In Proceedings of the Dagstuhl Seminar
Citations:	21 - 7 self

Versions

Version History

Metadata Version 3

Datum	Value	Source
TITLE	The Formal Specification Language mCRL2	SVM HeaderParse 0.2
AUTHOR NAME	Jan Friso Groote	SVM HeaderParse 0.2
AUTHOR AFFIL	Technische Universiteit Eindhoven (TU/e); P.O. Box 513, NL-5600	SVM HeaderParse 0.2
AUTHOR ADDR	MB Eindhoven; The Netherlands; {J.F.Groote, A.H.J.Mathijssen, M.A.Reniers,	SVM HeaderParse 0.2
AUTHOR NAME	Aad Mathijssen	SVM HeaderParse 0.2
AUTHOR AFFIL	Technische Universiteit Eindhoven (TU/e); P.O. Box 513, NL-5600	SVM HeaderParse 0.2
AUTHOR ADDR	MB Eindhoven; The Netherlands; {J.F.Groote, A.H.J.Mathijssen, M.A.Reniers,	SVM HeaderParse 0.2
AUTHOR NAME	Michel Reniers	SVM HeaderParse 0.2
AUTHOR AFFIL	Technische Universiteit Eindhoven (TU/e); P.O. Box 513, NL-5600	SVM HeaderParse 0.2
AUTHOR ADDR	MB Eindhoven; The Netherlands; {J.F.Groote, A.H.J.Mathijssen, M.A.Reniers,	SVM HeaderParse 0.2
AUTHOR NAME	Yaroslav Usenko	SVM HeaderParse 0.2
AUTHOR AFFIL	Technische Universiteit Eindhoven (TU/e); P.O. Box 513, NL-5600	SVM HeaderParse 0.2
AUTHOR ADDR	MB Eindhoven; The Netherlands; {J.F.Groote, A.H.J.Mathijssen, M.A.Reniers,	SVM HeaderParse 0.2
AUTHOR NAME	Muck Van Weerdenburg	SVM HeaderParse 0.2
AUTHOR AFFIL	Technische Universiteit Eindhoven (TU/e); P.O. Box 513, NL-5600	SVM HeaderParse 0.2
AUTHOR ADDR	MB Eindhoven; The Netherlands; {J.F.Groote, A.H.J.Mathijssen, M.A.Reniers,	SVM HeaderParse 0.2
ABSTRACT	Abstract. We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the µCRL specification language. The mCRL2 language extends a timed basic process algebra with the possibility to define and use abstract data types. The mCRL2 data language features predefined and higher-order data types. The process algebraic part of mCRL2 allows a faithful translation of coloured Petri nets and component based systems: we have introduced multiactions and we have separated communication and parallelism.	SVM HeaderParse 0.2
YEAR	2007	INFERENCE
VENUE	In Proceedings of the Dagstuhl Seminar	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
VOLUME	19	INFERENCE
CITATIONS	9 found	ParsCit 1.0