Real time process algebra

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

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

    105 Downloads (Pure)
    Original languageEnglish
    Title of host publicationComputing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Pages17-33
    ISBN (Print)90-6196-393-1
    Publication statusPublished - 1990

    Cite this