Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
On Rule Formats for Zero and Unit Elements
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.ORCID-id: 0000-0002-4869-6794
Visa övriga samt affilieringar
2010 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.

Ort, förlag, år, upplaga, sidor
Eindhoven: Eindhoven University of Technology , 2010. , 34 s.
Serie
Computer science report, 10-03
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:hh:diva-20523OAI: oai:DiVA.org:hh-20523DiVA: diva2:584481
Projekt
New Developments in Operational SemanticsMeta-theory of Algebraic Process Theories
Tillgänglig från: 2013-01-09 Skapad: 2013-01-08 Senast uppdaterad: 2015-04-10Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Övriga länkar

Full text

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad RezaReniers, Michael A.
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

Totalt: 98 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf