Quantitative and Qualitative Extensions of Event Structures

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    249 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
    QualificationDoctor of Philosophy
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Vissers, C.A., Supervisor
    • Brinksma, Ed, Supervisor
    Award date18 Apr 1996
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-365-0799-5
    DOIs
    Publication statusPublished - 1996

    Keywords

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

    Fingerprint

    Dive into the research topics of 'Quantitative and Qualitative Extensions of Event Structures'. Together they form a unique fingerprint.

    Cite this