A new equivalence for processes with timing: with an application to protocol verification

J.C.M. Baeten, C.A. Middelburg, M.A. Reniers

    Research output: Book/ReportReportPopular

    37 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages22
    Publication statusPublished - 2000

    Publication series

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

    Bibliographical note

    (Logic Group Preprint Series ; 215)

    Cite this