Charles André
SyncCharts are a
state-based visual synchronous model.
Though using a simple graphical syntax, SyncCharts may exhibit complex
instantaneous behavior,
mixing concurrent evolutions, preemptions and state re-incarnations.
This paper explains such reactions in terms of microsteps.
The underlying semantics is a constructive semantics,
fully compatible with the Esterel's semantics. The semantics is
presented in a semi-formal way, as resulting from the cooperation of
concurrent reactive cells.
The report below is an extended
version of the paper presented at SLAP'03 (Synchronous Languages, Applications
and Programming),
July 1st, 2003 -- Porto (P) --
URL: http://www.elsevier.nl/locate/entcs/volume88.html
@TECHREPORT{sp:RR2003-09,
AUTHOR = "Charles Andr\'e",
TITLE = "Computing SyncCharts Reactions",
YEAR = {2003},
NUMBER = {ISRN I3S/RR-2003-09-FR},
INSTITUTION = "I3S",
MONTH = {April},
ADDRESS = {Sophia-Antipolis, France}
}