Process algebra with propositional signals

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

    Research output: Book/ReportReportAcademic

    29 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages25
    ISBN (Print)90-393-0786-5
    Publication statusPublished - 1994

    Publication series

    NameLogic Group Preprint Series
    Volume123
    ISSN (Print)0929-0710

    Bibliographical note

    (Logic Group Preprint Series ;123)

    Cite this