Decompositional reasoning about the history of parallel processes
Paper in proceedings, 2012

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.

Author

Luca Aceto

Reykjavik University

Arnar Birgisson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Anna Ingolfsdottir

Reykjavik University

MohammadReza Mousavi

Technische Universiteit Eindhoven

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 7141 32-47

Subject Categories

Software Engineering

DOI

10.1007/978-3-642-29320-7_3

ISBN

978-364229319-1

More information

Latest update

3/20/2018