Recursive process definitions with the state operator

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

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

    59 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

    Baeten, J. C. M., & Bergstra, J. A. (1988). Recursive process definitions with the state operator. In Computing science in the Netherlands, CSN 88 : Jaarbeurs Utrecht, 3-4 November 1988 : proceedings, deel 2 (pp. 279-294). Centrum voor Wiskunde en Informatica.