Publications:Causality in the semantics of Esterel : revisited
From CERES
| Title | Causality in the semantics of Esterel : revisited |
|---|---|
| Author | Mohammad Reza Mousavi |
| Year | 2010 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | Proceedings of the 6th Workshop on Structural Operational Semantics |
| DOI | http://dx.doi.org/10.4204/EPTCS.18.3 |
| Conference | The 6th Workshop on Structural Operational Semantics (SOS 2009), Bologna, Italy, August 31, 2009 |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584492 |
| Abstract | 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. |
