Modeling systems by probabilistic process algebra: an event structures approach

Joost-Pieter Katoen, Rom Langerak, Diego Latella

    Research output: Book/Report › Report › Professional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages22
    Publication statusPublished - 1993

    Publication series

    NameMemoranda informatica
    PublisherUniversity of Twente
    No.93-29
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.93-17
    • 1 Conference contribution

    • Bundle event structures: a non-interleaving semantics for LOTOS

      Langerak, R., 1991, FORTE '92: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Perros-Guirec, France, 13-16 October 1992. Diaz, M. & Groz, R. (eds.). Amsterdam: North Holland, p. 331-346 (IFIP transactions C, Communication systems; vol. 10).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

    Cite this