@inproceedings{171b9a3ee52e444ea53688539ca36058,
title = "µCRL : a toolset for analysing algebraic specifications",
abstract = "µCRL [13] is a language for specifying and verifying distributed systems in an algebraic fashion. It targets the specification of system behaviour in a process-algebraic style and of data elements in the form of abstract data types. The µCRL toolset [21] (see http://www.cwi.nl/\textasciitilde{}mcrl) supports the analysis and manipulation of µCRL specifications. A µCRL specification can be automatically transformed into a linear process operator (LPO). All other tools in the µCRL toolset use LPOs as their starting point. The simulator allows the interactive simulation of an LPO. There are a number of tools that allow optimisations on the level of LPOs. The instantiator generates a labelled transition system (LTS) from an LPO (under the condition that it is finite-state), and the resulting LTS can be visualised, analysed and minimised.",
author = "S.C.C. Blom and W.J. Fokkink and J.F. Groote and \{Langevelde, van\}, I. and B. Lisser and \{Pol, van de\}, J.C.",
year = "2001",
doi = "10.1007/3-540-44585-4\_23",
language = "English",
isbn = "3-540-42345-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "250--254",
editor = "G. Berry and H. Comon and A. Finkel",
booktitle = "Computer Aided Verification (Proceedings 13th International Conference, CAV 2001, Paris, July 18-22, 2001)",
address = "Germany",
}