Decompositional Reasoning about the History of Parallel Processes
2011 (Engelska)Ingår i: Fundamentals of software engineering: revised selected papers, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 4171, s. 32-47Konferensbidrag, Publicerat paper (Refereegranskat)
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.
Ort, förlag, år, upplaga, sidor
Heidelberg: Springer Berlin/Heidelberg, 2011. Vol. 4171, s. 32-47
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7141
Nyckelord [en]
Decomposition technique, Hennessy-Milner Logics, Nondeterministic choice, Parallel composition, Parallel process, Reasoning techniques, Technical tools
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
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 (tryckt)ISBN: 978-3-642-29320-7 (digital)OAI: oai:DiVA.org:hh-20336DiVA, id: diva2:583419
Konferens
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011
2013-01-082013-01-082018-01-19Bibliografiskt granskad