Decompositional Reasoning about the History of Parallel Processes
2011 (English)In: Fundamentals of software engineering: revised selected papers, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 4171, p. 32-47Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
Heidelberg: Springer Berlin/Heidelberg, 2011. Vol. 4171, p. 32-47
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7141
Keywords [en]
Decomposition technique, Hennessy-Milner Logics, Nondeterministic choice, Parallel composition, Parallel process, Reasoning techniques, Technical tools
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:hh:diva-20336DOI: 10.1007/978-3-642-29320-7_3Scopus ID: 2-s2.0-84860686915ISBN: 978-3-642-29319-1 (print)ISBN: 978-3-642-29320-7 (electronic)OAI: oai:DiVA.org:hh-20336DiVA, id: diva2:583419
Conference
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011
2013-01-082013-01-082018-01-19Bibliographically approved