SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "(WFRF:(Ingólfsdóttir Anna)) srt2:(2008)"

Sökning: (WFRF:(Ingólfsdóttir Anna)) > (2008)

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Aceto, Luca, et al. (författare)
  • Lifting non-finite axiomatizability results to extensions of process algebras
  • 2008
  • Ingår i: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008. - New York : Springer-Verlag New York. - 9780387096797 - 9780387096803 ; , s. 301-316
  • Konferensbidrag (refereegranskat)abstract
    • This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones. The proposed technique is based on a variation on the classic idea of reduction mappings. In this setting, such reductions are translations between languages that preserve sound (in)equations and (in)equational proofs over the source language, and reflect families of (in)equations responsible for the non-finite axiomatizability of the target language. The proposed technique is applied to obtain a number of new non-finite axiomatizability theorems in process algebra via reduction to Moller’s celebrated non-finite axiomatizability result for CCS. The limitations of the reduction technique are also studied.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2
Typ av publikation
rapport (1)
konferensbidrag (1)
Typ av innehåll
övrigt vetenskapligt/konstnärligt (1)
refereegranskat (1)
Författare/redaktör
Aceto, Luca (2)
Ingólfsdóttir, Anna (2)
Mousavi, Mohammad Re ... (2)
Fokkink, Wan J. (1)
Fokkink, Wan (1)
Lärosäte
Högskolan i Halmstad (2)
Språk
Engelska (2)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (2)
År
2008 (2)Ta bort avgränsningen

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