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 +
|