| Abstract
|
<p>This paper presents a decompositi … <p>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.</p>anguage. © 2012 Springer-Verlag.</p>
|
| Author
|
L. Aceto +
, A. Birgisson +
, A. Ingolfsdottir +
, Mohammad Reza Mousavi +
|
| Conference
|
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011
|
| DOI
|
http://dx.doi.org/10.1007/978-3-642-29320-7_3 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583419
|
| EndPage
|
47 +
|
| HostPublication
|
Fundamentals of software engineering : revised selected papers +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Springer Berlin/Heidelberg +
|
| Series
|
Lecture Notes in Computer Science ; 7141 +
|
| StartPage
|
32 +
|
| Title
|
Decompositional Reasoning about the History of Parallel Processes +
|
| Volume
|
4171 +
|
| Year
|
2011 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
, Publications:Decompositional Reasoning about the History of Parallel Processes +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:12 +
|
