Follow
Gérard Berry
Gérard Berry
Professor emeritus at Collège de France
Verified email at college-de-france.fr - Homepage
Title
Cited by
Cited by
Year
The Esterel synchronous programming language: Design, semantics, implementation
G Berry, G Gonthier
Science of computer programming 19 (2), 87-152, 1992
27631992
The chemical abstract machine
G Berry, G Boudol
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
17271989
The synchronous approach to reactive and real-time systems
A Benveniste, G Berry
Proceedings of the IEEE 79 (9), 1270-1282, 1991
11801991
The foundations of Esterel
G Berry
8602000
Real time correlation-based stereo: algorithm, implementations and applications
O Faugeras, B Hotz, H Mathieu, T Viéville, Z Zhang, P Fua, E Théron, ...
Inria, 1993
6631993
The ESTEREL synchronous programming language and its mathematical semantics
G Berry, L Cosserat
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11 …, 1985
5371985
From regular expressions to deterministic automata
G Berry, R Sethi
Theoretical computer science 48, 117-126, 1986
4891986
Stable models of typed λ-calculi
G Berry
International Colloquium on Automata, Languages, and Programming, 72-89, 1978
4031978
The constructive semantics of pure Esterel
G Berry
http://www. inria. fr/meije/esterel/esterel-eng. html, 1999
3331999
Real time programming: Special purpose or general purpose languages
G Berry
INRIA, 1989
3191989
Sequential algorithms on concrete data structures
G Berry, PL Curien
Theoretical Computer Science 20 (3), 265-321, 1982
2761982
Compiling esterel
D Potop-Butucaru, SA Edwards, G Berry
Springer Science & Business Media, 2007
2392007
Preemption in concurrent systems
G Berry
International Conference on Foundations of Software Technology and …, 1993
2161993
Communicating reactive processes
G Berry, S Ramesh, RK Shyamasundar
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
2161993
Constructive analysis of cyclic circuits
TR Shiple, G Berry, H Touati
Proceedings ED&TC European Design and Test Conference, 328-333, 1996
2121996
Modèles complètements adéquats et stables des lambda calculs typés
G Berry
Thèse de dotorat d'État, spécialit sciences mathématiques, Université Paris 7, 1979
1901979
A hardware implementation of pure Esterel
G Berry
Sadhana 17, 95-130, 1992
1841992
The Esterel v5 language primer
G Berry
1752000
Minimal and optimal computations of recursive programs
G Berry, JJ Lévy
Journal of the ACM (JACM) 26 (1), 148-175, 1979
1691979
Full abstraction for sequential languages: the state of the art
G Berry, PL Curien, JJ Lévy
Algebraic methods in semantics 89132, 1985
1351985
The system can't perform the operation now. Try again later.
Articles 1–20