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
    Volume0401
    ISSN (Print)1386-369X

    Cite this