Browse wiki

From CERES
Jump to: navigation, search
Publications:Decompositional Reasoning about the History of Parallel Processes
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  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.