Real time process algebra

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

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

    87 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

    Baeten, J. C. M., & Bergstra, J. A. (1990). Real time process algebra. In Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990) (pp. 17-33). Amsterdam: Centrum voor Wiskunde en Informatica.
    Baeten, J.C.M. ; Bergstra, J.A. / Real time process algebra. Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990). Amsterdam : Centrum voor Wiskunde en Informatica, 1990. pp. 17-33
    @inproceedings{f622d09ca2ca482e936b0d25d8ceb1c4,
    title = "Real time process algebra",
    author = "J.C.M. Baeten and J.A. Bergstra",
    year = "1990",
    language = "English",
    isbn = "90-6196-393-1",
    pages = "17--33",
    booktitle = "Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)",
    publisher = "Centrum voor Wiskunde en Informatica",

    }

    Baeten, JCM & Bergstra, JA 1990, Real time process algebra. in Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990). Centrum voor Wiskunde en Informatica, Amsterdam, pp. 17-33.

    Real time process algebra. / Baeten, J.C.M.; Bergstra, J.A.

    Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990). Amsterdam : Centrum voor Wiskunde en Informatica, 1990. p. 17-33.

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

    TY - GEN

    T1 - Real time process algebra

    AU - Baeten, J.C.M.

    AU - Bergstra, J.A.

    PY - 1990

    Y1 - 1990

    M3 - Conference contribution

    SN - 90-6196-393-1

    SP - 17

    EP - 33

    BT - Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)

    PB - Centrum voor Wiskunde en Informatica

    CY - Amsterdam

    ER -

    Baeten JCM, Bergstra JA. Real time process algebra. In Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990). Amsterdam: Centrum voor Wiskunde en Informatica. 1990. p. 17-33