Decompositional reasoning about the history of parallel processes

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

    Research output: Book/ReportReportAcademic

    153 Downloads (Pure)


    This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively de??ned 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 pre??xing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages19
    Publication statusPublished - 2010

    Publication series

    NameComputer science reports
    ISSN (Print)0926-4515


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

    Cite this