SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:hh-20539"
 

Sökning: onr:"swepub:oai:DiVA.org:hh-20539" > Decompositional Rea...

Decompositional Reasoning about the History of Parallel Processes

Aceto, Luca, (författare)
School of Computer Science, Reykjavik University, Iceland
Birgisson, Arnar, (författare)
School of Computer Science, Reykjavik University, Iceland & Department of Computer Science and Engineering, Chalmers University of Technology, Sweden
Ingólfsdóttir, Anna, (författare)
School of Computer Science, Reykjavik University, Iceland
visa fler...
Mousavi, Mohammad Reza, 1978- (författare)
Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands
visa färre...
Engelska 23s.
Ingår i: New Developments in Operational Semantics. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)
Abstract Ämnesord
Stäng  
  • <p>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.</p>

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Science (hsv//eng)

Publikations- och innehållstyp

vet (ämneskategori)
rap (ämneskategori)
vet (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Aceto, Luca
Birgisson, Arnar
Ingólfsdóttir, A ...
Mousavi, Mohamma ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
Artiklar i publikationen
Av lärosätet
Högskolan i Halmstad

Sök utanför SwePub

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy