From Concurrency Models to Numbers: Performancd and Dependability

Holger Hermanns; Lijun Zhang

From Concurrency Models to Numbers: Performancd and Dependability

Holger Hermanns, Lijun Zhang

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Abstract

Discrete-state Markov processes are very common models used for performance and dependability evaluation of, for example, distributed information and communication systems. Over the last fifteen years, compositional model construction and model checking algorithms have been studied for these processes, and variations thereof, especially processes incorporating nondeterministic choices. In this paper we give a survey of model checking and compositional model construction for such processes in discrete and continuous time.

Original language	English
Title of host publication	NATO Science for Peace and Security Series : D: Information and Communication Security
Volume	30
Publisher	IOS Press
Publication date	2011
Pages	182-210
ISBN (Print)	978-1-60750-710-9
Publication status	Published - 2011

Access to Document

http://www.booksonline.iospress.nl/Content/View.aspx?piid=19838

OpenUrl availability

Full text

Cite this

@inbook{7757640303384c0fb5219586cc01d985,

title = "From Concurrency Models to Numbers: Performancd and Dependability",

abstract = "Discrete-state Markov processes are very common models used for performance and dependability evaluation of, for example, distributed information and communication systems. Over the last fifteen years, compositional model construction and model checking algorithms have been studied for these processes, and variations thereof, especially processes incorporating nondeterministic choices. In this paper we give a survey of model checking and compositional model construction for such processes in discrete and continuous time.",

author = "Holger Hermanns and Lijun Zhang",

year = "2011",

language = "English",

isbn = "978-1-60750-710-9",

volume = "30",

pages = "182--210",

booktitle = "NATO Science for Peace and Security Series",

publisher = "IOS Press",

}

TY - CHAP

T1 - From Concurrency Models to Numbers

T2 - Performancd and Dependability

AU - Hermanns, Holger

AU - Zhang, Lijun

PY - 2011

Y1 - 2011

N2 - Discrete-state Markov processes are very common models used for performance and dependability evaluation of, for example, distributed information and communication systems. Over the last fifteen years, compositional model construction and model checking algorithms have been studied for these processes, and variations thereof, especially processes incorporating nondeterministic choices. In this paper we give a survey of model checking and compositional model construction for such processes in discrete and continuous time.

AB - Discrete-state Markov processes are very common models used for performance and dependability evaluation of, for example, distributed information and communication systems. Over the last fifteen years, compositional model construction and model checking algorithms have been studied for these processes, and variations thereof, especially processes incorporating nondeterministic choices. In this paper we give a survey of model checking and compositional model construction for such processes in discrete and continuous time.

M3 - Book chapter

SN - 978-1-60750-710-9

VL - 30

SP - 182

EP - 210

BT - NATO Science for Peace and Security Series

PB - IOS Press

ER -

From Concurrency Models to Numbers: Performancd and Dependability

Abstract

Access to Document

OpenUrl availability

Fingerprint

Cite this