µCRL: A Toolset for Analysing Algebraic Specifications.

Stefan Blom Wan J. Fokkink Jan Friso Groote Izak van Langevelde Bert Lisser Jaco van de Pol

Published in: CAV (2001)

Keyphrases

query language
database
high level
delay insensitive
formal specification
machine learning
multi agent
development process
concurrent systems
information systems
transition systems
attribute grammars