Ready trace semantiek voor procesalgebra met prioriteitsoperator

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

    Research output: Book/Report › Report › Popular

    39 Downloads (Pure)
    Original languageDutch
    Place of PublicationAmsterdam
    PublisherUniversiteit van Amsterdam
    Number of pages10
    Publication statusPublished - 1985

    Publication series

    NameRapport FVI
    Volume85-15

    Bibliographical note

    (Rapport FVI ; 85-15)

    Access to Document

    • 588461Final published version, 656 KB

      Cite this