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
Causality in the semantics of Esterel: revisited
Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands.ORCID iD: 0000-0002-4869-6794
2010 (English)In: Proceedings of the 6th Workshop on Structural Operational Semantics, 2010, Vol. 18, 32-45 p.Conference paper, Published paper (Refereed)
Abstract [en]

We re-examine the challenges concerning causality in the semantics of Esterel and show that they per-tain to the known issues in the semantics of Structured Operational Semantics with negative premises.We show that the solutions offered for the semantics of SOS also provide answers to the semanticchallenges of Esterel and that they satisfy the intuitive requirements set by the language designers.

Place, publisher, year, edition, pages
2010. Vol. 18, 32-45 p.
Series
EPTCS, 18
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20515DOI: 10.4204/EPTCS.18.3OAI: oai:DiVA.org:hh-20515DiVA: diva2:584492
Conference
The 6th Workshop on Structural Operational Semantics (SOS 2009), Bologna, Italy, August 31, 2009
Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textDownload fulltext

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 56 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