Decompositional reasoning about the history of parallel processes

L. Aceto, A. Birgisson, A. Ingólfsdóttir, M.R. Mousavi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)

    Abstract

    This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.
    Original languageEnglish
    Title of host publicationFundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers)
    EditorsF. Arbab, M. Sirjani
    Place of PublicationBerlin
    PublisherSpringer
    Pages32-47
    ISBN (Print)978-3-642-29319-1
    DOIs
    Publication statusPublished - 2012

    Publication series

    NameLecture Notes in Computer Science
    Volume7141
    ISSN (Print)0302-9743

    Fingerprint Dive into the research topics of 'Decompositional reasoning about the history of parallel processes'. Together they form a unique fingerprint.

    Cite this