Quantitative and Qualitative Extensions of Event Structures

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

41 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 languageUndefined
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Vissers, C.A., Supervisor
  • Brinksma, Hendrik , Supervisor
Award date1 Jan 1996
Place of PublicationEnschede
Publisher
Print ISBNs90-365-0799-5
Publication statusPublished - 1996

Keywords

  • IR-58113
  • FMT-NIM: NON-INTERLEAVING MODELS
  • FMT-PM: PROBABILISTIC METHODS
  • FMT-PA: PROCESS ALGEBRAS
  • EWI-6555
  • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
  • METIS-118417

Cite this

Katoen, Joost P.. / Quantitative and Qualitative Extensions of Event Structures. Enschede : University of Twente, 1996. 303 p.
@phdthesis{88c696c922214f008a9bd2c6f84b1fb7,
title = "Quantitative and Qualitative Extensions of Event Structures",
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.",
keywords = "IR-58113, FMT-NIM: NON-INTERLEAVING MODELS, FMT-PM: PROBABILISTIC METHODS, FMT-PA: PROCESS ALGEBRAS, EWI-6555, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, METIS-118417",
author = "Katoen, {Joost P.}",
year = "1996",
language = "Undefined",
isbn = "90-365-0799-5",
publisher = "University of Twente",
address = "Netherlands",
school = "University of Twente",

}

Quantitative and Qualitative Extensions of Event Structures. / Katoen, Joost P.

Enschede : University of Twente, 1996. 303 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

TY - THES

T1 - Quantitative and Qualitative Extensions of Event Structures

AU - Katoen, Joost P.

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

KW - IR-58113

KW - FMT-NIM: NON-INTERLEAVING MODELS

KW - FMT-PM: PROBABILISTIC METHODS

KW - FMT-PA: PROCESS ALGEBRAS

KW - EWI-6555

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - METIS-118417

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-0799-5

PB - University of Twente

CY - Enschede

ER -

Katoen JP. Quantitative and Qualitative Extensions of Event Structures. Enschede: University of Twente, 1996. 303 p.