Recursive process definitions with the state operator

J.C.M. Baeten, J.A. Bergstra

    Research output: Book/ReportReportPopular

    69 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherUniversiteit van Amsterdam
    Number of pages13
    Publication statusPublished - 1988

    Bibliographical note

    (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P8802)

    Cite this