Modal abstractions in µCRL

J.C. Pol, van de, M.A. Valero Espada

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages52
Publication statusPublished - 2004

Publication series

NameCWI report. SEN-R : software engineering
ISSN (Print)1386-369X

Cite this

Pol, van de, J. C., & Valero Espada, M. A. (2004). Modal abstractions in µCRL. (CWI report. SEN-R : software engineering; Vol. 0401). Centrum voor Wiskunde en Informatica.