An omega-complete equational specification of interleaving

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages16
    Publication statusPublished - 2000

    Publication series

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

    Cite this