Search: onr:"swepub:oai:DiVA.org:hh-20336" >
Decompositional Rea...
Decompositional Reasoning about the History of Parallel Processes
-
- Aceto, L. (author)
- School of Computer Science, Reykjavik University, Iceland,Reykjavik University
-
- Birgisson, Arnar, 1981 (author)
- Department of Computer Science and Engineering, Chalmers University of Technology, Sweden,Chalmers tekniska högskola,Chalmers University of Technology
-
- Ingolfsdottir, A. (author)
- School of Computer Science, Reykjavik University, Iceland,Reykjavik University
-
show more...
-
- Mousavi, Mohammad Reza (author)
- Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands
-
- Mousavi, MohammadReza (author)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
-
show less...
-
(creator_code:org_t)
- ISBN 9783642293191
- Heidelberg : Springer Berlin/Heidelberg, 2011
- 2011
- English.
-
In: Fundamentals of software engineering. - Heidelberg : Springer Berlin/Heidelberg. - 1611-3349 .- 0302-9743. - 9783642293191 - 9783642293207 ; , s. 32-47
- Related links:
-
http://dx.doi.org/10...
-
show more...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://research.cha...
-
show less...
Table of contents
Abstract
Subject headings
Close
No table of content available
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Keyword
- Decomposition technique
- Hennessy-Milner Logics
- Nondeterministic choice
- Parallel composition
- Parallel process
- Reasoning techniques
- Technical tools
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database