#### Filter Results:

- Full text PDF available (9)

#### Publication Year

1981

2016

- This year (0)
- Last 5 years (3)
- Last 10 years (21)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Gérard Berry, Georges Gonthier
- Sci. Comput. Program.
- 1992

Abstract We present the E sterel programming language which is especially designed to program reactive systems, that is systems which maintain a permanent interaction with their environment:… (More)

- Cédric Fournet, Georges Gonthier
- POPL
- 1996

By adding reflexion to the chemical machine of Berry and Boudol, we obtain a formal model of concurrency that is consistent with mobility and distribution. Our model provides the foundations of a… (More)

A disposable cosmetic glove is disclosed which includes an outer glove shell of lotion impervious material and an inner glove lining of lotion absorbent material. The inner glove lining is preferably… (More)

- Cédric Fournet, Georges Gonthier
- APPSEM
- 2000

In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. It is characterized… (More)

This document describes a set of extensions to the proof scripting language of the Coq proof assistant. While these extensions were developed to support a particular proof methodology - small-scale… (More)

- Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
- CONCUR
- 1996

We introduce a calculus for mobile agents and give its chemical semantics, with a precise definition for migration, failure, and failure detection. Various examples written in our calculus illustrate… (More)

- Damien Doligez, Georges Gonthier
- POPL
- 1994

We describe and prove the correctness of a new concurrent mark-and-sweep garbage collection algorithm. This algorithm derives from the classical on-the-fly algorithm from Dijkstra et al. [9]. A… (More)

- Georges Gonthier
- 2008

The Tale of a Brainteaser Francis Guthrie certainly did it, when he coined his innocent little coloring puzzle in 1852. He managed to embarrass successively his mathematician brother, his brother’s… (More)

- Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
- POPL
- 1992

Lamping discovered an optimal graph-reduction implementation of the λ-calculus. Simultaneously, Girard invented the geometry of interaction, a mathematical foundation for operational semantics. In… (More)