SwePub
Sök i LIBRIS databas

  Utökad sökning

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

Sökning: onr:"swepub:oai:DiVA.org:hh-20510" > A Rule Format for U...

A Rule Format for Unit Elements

Aceto, Luca (författare)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
Ingólfsdóttir, Anna (författare)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
Mousavi, Mohammad Reza, 1978- (författare)
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
visa fler...
Reniers, Michel A. (författare)
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
visa färre...
 (creator_code:org_t)
Eindhoven : Eindhoven University of Technology, 2009
Engelska 13s.
Ingår i: The Equational Logic of Parallel Processes. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)
Abstract Ämnesord
Stäng  
  • 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.

Ämnesord

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

Publikations- och innehållstyp

vet (ämneskategori)
rap (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Aceto, Luca
Ingólfsdóttir, A ...
Mousavi, Mohamma ...
Reniers, Michel ...
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