Conditional axioms and alpha/beta-calculus in process algebra: revised version

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

    Research output: Book/Report › Report › Popular

    65 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherUniversiteit van Amsterdam
    Number of pages22
    Publication statusPublished - 1986

    Publication series

    NameReport FVI
    Volume86-17

    Bibliographical note

    (Report FVI ; 86-17)

    Access to Document

    • 588871Final published version, 1.83 MB

      Cite this