G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87--152, November 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Timed Communicating Object Z - Brendan Mahony Information (Correct)
No context found.
G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87--152, November 1992.
The Liberty Simulation Environment: A Deliberate - Approach To High-Level (Correct)
No context found.
BERRY, G. AND GONTHIER, G. 1992. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19, 2, 87--152.
Fast Paths in Concurrent Programs - Xu, Kumar, Li (2004) (Correct)
No context found.
G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2), 1992.
Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004) (Correct)
No context found.
G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Sci. of Comput. Programming, 19:87--152, 1992.
ULM - A Core Programming Model for Global Computing (Extended.. - Boudol (Correct)
No context found.
G. Berry, G. Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Sci. of Comput. Programming Vol. 19 (####) 87-152.
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87--152, 1992. 22
The Kahn principle for networks of synchronous endochronous.. - Potop-Butucaru (2003) (Correct)
No context found.
Gerard Berry and Georges Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87--152, 1992.
Reactive Objects - Boussinot, Doumenc, Stefani (1995) (1 citation) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science Of Computer Programming, 19(2):87--152, 1992.
Optimizations For Faster Execution Of Esterel Programs - Potop-Butucaru, de Simone (2004) (Correct)
No context found.
G erard Berry and Georges Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87--152, 1992.
ULM - A Core Programming Model for Global Computing - Boudol (2004) (1 citation) (Correct)
No context found.
G. Berry, G. Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Sci. of Comput. Programming Vol. 19 (####) 87-152.
Fast Redundancy Elimination Using High-Level Structural.. - Potop-Butucaru (2001) (Correct)
No context found.
Grard Berry. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87152, 1992.
Instantaneous Termination in Pure Esterel - Olivier Tardieu And (2003) (1 citation) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
Reactive Scripts - Boussinot, Hazard (1996) (4 citations) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. ScienceOfComputerProgramming, 19(2):87152, 1992.
Goto and Concurrency Introducing Safe Jumps in Esterel - Tardieu (2004) (2 citations) (Correct)
No context found.
Berry, G. and G. Gonthier, The Esterel synchronous programming language: Design, semantics, implementation, Science of Computer Programming 19 (1992), pp. 87--152.
The SL Synchronous Language - Boussinot, de Simone (1995) (4 citations) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 19(2):87-- 152, 1992.
Unknown - Apport De Recherche (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 19(2):87-- 152, 1992.
Typing Noninterference for Reactive Programs - Matos, Boudol, Castellani (2004) (Correct)
No context found.
G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Sci. of Comput. Programming, 19:87--152, 1992.
Automated Verification of Model-based Programs Under Uncertainty - Mahtab (2004) (Correct)
No context found.
Gerard Berry and Georges Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming, 19(2):87--152, Jan 1992.
Towards Direct Execution of Esterel Programs on Reactive.. - Roop, Salcic, Dayaratne (Correct)
No context found.
G. Berry and G. Gonthier, "The Esterel Synchronous Programming Language: Design, Semantics, Implementation," Science of Computer Programming, vol. 19, pp. 87-152, 1992.
Comparing Petri Net and Activity Diagram Variants for.. - Eshuis, Wieringa (2002) (4 citations) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Sci. of Comp. Prog., 19(2):87--152, 1992.
Requirements-Level Semantics and Model Checking of.. - Eshuis, Jansen, Wieringa (2002) (Correct)
No context found.
Berry G, Gonthier G. The ESTEREL synchronous programming language: design, semantics, implementation. Sci Comput Program 1992;19(2):87--152
Reactive Petri Nets for Workflow Modeling - Eshuis, Dehnert (2003) (1 citation) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87-- 152, 1992.
Exploring Aspects in the Context of Reactive Systems - Karine Altisen Centre (2004) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 19(2):87--152, 1992.
Formal Proof of a Polychronous Protocol for Loosely . . . - Kerboeuf (2003) (Correct)
No context found.
G. Berry and G. Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming, 19:87-- 152, 1992.
dSL: An environment with automatic code distribution.. - De Wachter, Massart.. (Correct)
No context found.
Gerard Berry and Georges Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87--152, 1992.
First 50 documents Next 50
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