From Concurrency Models to Numbers : Performancd and Dependability

Publication: ResearchBook chapter – Annual report year: 2011

NullPointerException

View graph of relations

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 languageEnglish
TitleNATO Science for Peace and Security Series : D: Information and Communication Security
Volume30
PublisherIOS Press
Publication date2011
Pages182-210
ISBN (print)978-1-60750-710-9
StatePublished
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6291943