hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • 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
Show others and affiliations
2010 (English)Report (Other academic)
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.

Place, publisher, year, edition, pages
Eindhoven: Eindhoven University of Technology , 2010. , 34 p.
Series
Computer science report, 10-03
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20523OAI: oai:DiVA.org:hh-20523DiVA: diva2:584481
Projects
New Developments in Operational SemanticsMeta-theory of Algebraic Process Theories
Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2015-04-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Full text

Search in DiVA

By author/editor
Mousavi, Mohammad RezaReniers, Michael A.
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 98 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf