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...

  • Aceto, Luca,ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland (författare)

A Rule Format for Unit Elements

  • BokEngelska2009

Förlag, utgivningsår, omfång ...

  • 13s.

Nummerbeteckningar

  • LIBRIS-ID:oai:DiVA.org:hh-20510
  • urn:nbn:se:hh:diva-20510urn

Ingår i deldatabas

Klassifikation

  • Ämneskategori:vet swepub-contenttype
  • Ämneskategori:rap swepub-publicationtype
  • Ämneskategori:vet swepub-contenttype

Serie

  • Computer science report

Anmärkningar

  • Published
  • 4
  • <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>

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Ingólfsdóttir, Anna,ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland(SwePub:) (författare)
  • Mousavi, Mohammad Reza,1978-,Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands(SwePub:hh) (författare)
  • Reniers, Michel A.,Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands(SwePub:) (författare)

Sammanhörande titlar

  • Ingår i:The Equational Logic of Parallel ProcessesEindhoven : Eindhoven University of Technology
  • Ingår i:New Developments in Operational SemanticsEindhoven : Eindhoven University of Technology

Internetlänk

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 ...
Delar i serien
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