From Concurrency Models to Numbers: Performancd and Dependability

Holger Hermanns, Lijun Zhang

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    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 languageEnglish
    Title of host publicationNATO 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
    Publication statusPublished - 2011

    Fingerprint Dive into the research topics of 'From Concurrency Models to Numbers: Performancd and Dependability'. Together they form a unique fingerprint.

    Cite this