Quantitative and Qualitative Extensions of Event Structures

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

30 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

method
analysis

Keywords

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

Cite this

@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 = "FMT-NIM: NON-INTERLEAVING MODELS, FMT-PM: PROBABILISTIC METHODS, FMT-PA: PROCESS ALGEBRAS, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS",
author = "Joost-Pieter Katoen",
year = "1996",
language = "English",
isbn = "90-365-0799-5",
series = "CTIT Ph. D-thesis series",
publisher = "University of Twente",
number = "96-09",
address = "Netherlands",
school = "University of Twente",

}

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

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-Pieter

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 - FMT-NIM: NON-INTERLEAVING MODELS

KW - FMT-PM: PROBABILISTIC METHODS

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-0799-5

T3 - CTIT Ph. D-thesis series

PB - University of Twente

CY - Enschede

ER -

Katoen J-P. Quantitative and Qualitative Extensions of Event Structures. Enschede: University of Twente, 1996. 303 p. (CTIT Ph. D-thesis series; 96-09).