M. Richard and O. Roux, "An attempt to confront asynchronous reality to synchronous modelization in the Esterel language," in Lecture Notes in Computer Science, Formal Techniques in Real-Time and Fault-Tolerant Systems. Heidelberg, Germany: Springer-Verlag, 1992, vol. 571, pp. 429--450. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Taming Heterogeneity - the Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2002) (9 citations) (Correct)
....with the ability to model and simulate analog components. Recent versions of Simulink [41] have the capabilities of integrating discrete time and state transition components with a continuous time framework. Extensions have been made to the Esterel language to include asynchronous computations [45], 1] New frameworks have also been developed to formally characterize heterogeneity in systems. The hybrid system theories integrate continuous time differential equations with discrete automata [5] The charts (pronounced: star charts) formalism combines finite state machines with a variety ....
M. Richard and O. Roux. An attempt to confront asynchronous reality to synchronous modelization in the Esterel language. Formal Techniques in Real--Time and Fault--Tolerant Systems, LNCS 571, pages 429-- 450, 1992.
Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (9 citations) (Correct)
....with the ability to model and simulate analog components. Recent versions of Simulink [38] have the capabilities of integrating discretetime and state transition components with a continuous time framework. Extensions have been made to the Esterel language to include asynchronous computations [42], 1] New frameworks have also been developed to formally characterize heterogeneity in systems. The hybrid system theories integrate continuous time differential equations with discrete automata [4] The charts (pronounced: star charts) formalism combines finite state machines with a variety ....
M. Richard and O. Roux. An attempt to confront asynchronous reality to synchronous modelization in the Esterel language. Formal Techniques in Real--Time and Fault--Tolerant Systems, LNCS 571, pages 429--450, 1992.
Extending Esterel by Asynchronous Concurrency - Baldamus, Schneider (Correct)
....may be located at large distances, can certainly not be done in a synchronous manner. Therefore, asynchronous extensions of synchronous languages are interesting for modeling and implementing distributed systems. For this reason, asynchronous extensions of synchronous languages have been given in [22, 1], and especially in [8] where communicating reactive processes are described. These processes are themselves implemented synchronously in Esterel, but run asynchronously to each other. The processes communicate via channels with each other instead of the usual broadcast communication of Esterel. ....
M. Richard and O. Roux. An attempt to confront asynchronous reality to synchronous modelization in the Esterel language. In Formal Techniques in Real--Time and Fault--Tolerant Systems, LNCS 571, pages 429--450. Springer--Verlag, 1992.
Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (9 citations) (Correct)
No context found.
M. Richard and O. Roux, "An attempt to confront asynchronous reality to synchronous modelization in the Esterel language," in Lecture Notes in Computer Science, Formal Techniques in Real-Time and Fault-Tolerant Systems. Heidelberg, Germany: Springer-Verlag, 1992, vol. 571, pp. 429--450.
Extending The Devs-Scheme Knowledge-Based Simulation.. - Zeigler, Kim (1993) (4 citations) (Correct)
No context found.
Richard, M. and Roux, O., "An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL language", Research Project C 3 report, May, 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC