Sökning: WFRF:(Ingólfsdóttir Anna) >
Decompositional Rea...
-
Aceto, LucaSchool of Computer Science, Reykjavik University, Iceland
(författare)
Decompositional Reasoning about the History of Parallel Processes
Förlag, utgivningsår, omfång ...
-
Eindhoven :Eindhoven University of Technology,2010
-
23 s.
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:hh-20539
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20539URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:vet swepub-contenttype
-
Ämneskategori:rap swepub-publicationtype
Anmärkningar
-
Decompositional reasoning aims at automatically decomposing a global property of a composite system into local properties of (possibly unknown) components. In concurrency theory, decompositional reasoning techniques date back to the seminal work of Larsen and Liu in the late 1980s and early 1990s. However, we are not aware of any such decomposition technique that applies to reasoning about the "past". In this paper, we address this problem and present a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. As a language for processes, we use a subset of Milner's CCS with parallel composition, non-deterministic choice, action prefixing and the inaction constant. We focus on developing decompositional reasoning techniques for parallel contexts in that language.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Birgisson, ArnarSchool of Computer Science, Reykjavik University, Iceland & Department of Computer Science and Engineering, Chalmers University of Technology, Sweden
(författare)
-
Ingólfsdóttir, AnnaSchool of Computer Science, Reykjavik University, Iceland
(författare)
-
Mousavi, Mohammad Reza,1978-Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands(Swepub:hh)mohmou
(författare)
-
School of Computer Science, Reykjavik University, IcelandSchool of Computer Science, Reykjavik University, Iceland & Department of Computer Science and Engineering, Chalmers University of Technology, Sweden
(creator_code:org_t)
Internetlänk