SwePub
Sök i SwePub databas

  Utökad sökning

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

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

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Aceto, Luca, et al. (författare)
  • A Rule Format for Unit Elements
  • 2009
  • Ingår i: The Equational Logic of Parallel Processes. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.</p>
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
rapport (1)
Typ av innehåll
övrigt vetenskapligt (1)
Författare/redaktör
Aceto, Luca (1)
Ingólfsdóttir, Anna (1)
Reniers, Michel A., (1)
Mousavi, Mohammad Re ... (1)
Lärosäte
Högskolan i Halmstad (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
 
pil uppåt Stäng

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