Quantitative and Qualitative Extensions of Event Structures

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    33 Downloads (Pure)

    Abstract

    An important application of formal methods is the specification, design, and analysis of functional aspects of (distributed) systems. Recently the study of quantitative aspects of such systems based on formal methods has come into focus. Several extensions of formal methods where the occurrence of actions can be assigned a (fixed) probability and/or the time of occurrence of actions can be constrained are known from the literature.
    Original languageEnglish
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Vissers, C.A., Supervisor
    • Brinksma, Hendrik , Supervisor
    Award date18 Apr 1996
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-365-0799-5
    Publication statusPublished - 1996

      Fingerprint

    Keywords

    • FMT-NIM: NON-INTERLEAVING MODELS
    • FMT-PM: PROBABILISTIC METHODS
    • FMT-PA: PROCESS ALGEBRAS
    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

    Cite this