A language of finite probabilistic processes and its interleaving semantics

Rom Langerak, Diego Latella

    Research output: Book/ReportReportProfessional

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

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    No.93-24
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.93-14

    Cite this

    Langerak, R., & Latella, D. (1993). A language of finite probabilistic processes and its interleaving semantics. (Memoranda Informatica; No. 93-24), (Memorandum TIOS; No. 93-14). Enschede: University of Twente.
    Langerak, Rom ; Latella, Diego. / A language of finite probabilistic processes and its interleaving semantics. Enschede : University of Twente, 1993. 12 p. (Memoranda Informatica; 93-24). (Memorandum TIOS; 93-14).
    @book{acb1a6720e5c4770be17f4d64850686d,
    title = "A language of finite probabilistic processes and its interleaving semantics",
    author = "Rom Langerak and Diego Latella",
    year = "1993",
    language = "English",
    series = "Memoranda Informatica",
    publisher = "University of Twente",
    number = "93-24",
    address = "Netherlands",

    }

    Langerak, R & Latella, D 1993, A language of finite probabilistic processes and its interleaving semantics. Memoranda Informatica, no. 93-24, Memorandum TIOS, no. 93-14, University of Twente, Enschede.

    A language of finite probabilistic processes and its interleaving semantics. / Langerak, Rom; Latella, Diego.

    Enschede : University of Twente, 1993. 12 p. (Memoranda Informatica; No. 93-24), (Memorandum TIOS; No. 93-14).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - A language of finite probabilistic processes and its interleaving semantics

    AU - Langerak, Rom

    AU - Latella, Diego

    PY - 1993

    Y1 - 1993

    M3 - Report

    T3 - Memoranda Informatica

    BT - A language of finite probabilistic processes and its interleaving semantics

    PB - University of Twente

    CY - Enschede

    ER -

    Langerak R, Latella D. A language of finite probabilistic processes and its interleaving semantics. Enschede: University of Twente, 1993. 12 p. (Memoranda Informatica; 93-24). (Memorandum TIOS; 93-14).