Publications:Decompositional Reasoning about the History of Parallel Processes
From CERES
| 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 |
| Journal | |
| HostPublication | Fundamentals of software engineering : revised selected papers |
| DOI | http://dx.doi.org/10.1007/978-3-642-29320-7_3 |
| Conference | 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011 |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583419 |
| 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. |
