Recursive process definitions with the state operator

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    70 Downloads (Pure)
    Original languageEnglish
    Title of host publicationComputing science in the Netherlands, CSN 88 : Jaarbeurs Utrecht, 3-4 November 1988 : proceedings, deel 2
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Pages279-294
    Publication statusPublished - 1988

    Cite this