| Abstract
|
<p>We re-examine the challenges conc … <p>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.</p>s set by the language designers.</p>
|
| Author
|
Mohammad Reza Mousavi +
|
| Conference
|
The 6th Workshop on Structural Operational Semantics (SOS 2009), Bologna, Italy, August 31, 2009
|
| DOI
|
http://dx.doi.org/10.4204/EPTCS.18.3 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584492
|
| EndPage
|
45 +
|
| HostPublication
|
Proceedings of the 6th Workshop on Structural Operational Semantics +
|
| PublicationType
|
Conference Paper +
|
| Series
|
EPTCS ; 18 +
|
| StartPage
|
32 +
|
| Title
|
Causality in the semantics of Esterel : revisited +
|
| Volume
|
18 +
|
| Year
|
2010 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
, Publications:Causality in the semantics of Esterel : revisited +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:36 +
|
