SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "onr:"swepub:oai:DiVA.org:hh-20539" "

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

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Aceto, Luca, et al. (författare)
  • Decompositional Reasoning about the History of Parallel Processes
  • 2010
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
rapport (1)
Typ av innehåll
övrigt vetenskapligt/konstnärligt (1)
Författare/redaktör
Aceto, Luca (1)
Ingólfsdóttir, Anna (1)
Mousavi, Mohammad Re ... (1)
Birgisson, Arnar (1)
Lärosäte
Högskolan i Halmstad (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

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