Publications:Decompositional Reasoning about the History of Parallel Processes

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Decompositional Reasoning about the History of Parallel Processes
Author L. Aceto and A. Birgisson and A. Ingolfsdottir and Mohammad Reza Mousavi
Year 2011
PublicationType Conference Paper
HostPublication Fundamentals of software engineering : revised selected papers
Conference 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011
Diva url
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. © 2012 Springer-Verlag.