Sökning: onr:"swepub:oai:DiVA.org:hh-20336" >
Decompositional Rea...
Decompositional Reasoning about the History of Parallel Processes
-
- Aceto, L. (författare)
- School of Computer Science, Reykjavik University, Iceland,Reykjavik University
-
- Birgisson, Arnar, 1981 (författare)
- Department of Computer Science and Engineering, Chalmers University of Technology, Sweden,Chalmers tekniska högskola,Chalmers University of Technology
-
- Ingolfsdottir, A. (författare)
- School of Computer Science, Reykjavik University, Iceland,Reykjavik University
-
visa fler...
-
- Mousavi, Mohammad Reza (författare)
- Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands
-
- Mousavi, MohammadReza (författare)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
-
visa färre...
-
(creator_code:org_t)
- ISBN 9783642293191
- Heidelberg : Springer Berlin/Heidelberg, 2011
- 2011
- Engelska.
-
Ingår i: Fundamentals of software engineering. - Heidelberg : Springer Berlin/Heidelberg. - 1611-3349 .- 0302-9743. - 9783642293191 - 9783642293207 ; , s. 32-47
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Innehållsförteckning
Abstract
Ämnesord
Stäng
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.
Ämnesord
- 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)
Nyckelord
- Decomposition technique
- Hennessy-Milner Logics
- Nondeterministic choice
- Parallel composition
- Parallel process
- Reasoning techniques
- Technical tools
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas