Gérard Boudol

Statistics

Publications

Citations

2.6K

H-Index

Active since

1983

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria d'Université Côte d'Azur

University of Sussex

Technical University of Munich

École Nationale Supérieure des Mines de Paris

Gérard Boudol is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and programming languages.

Publications per year

1983–2012

Publications

The chemical abstract machine

Gérard Berry, Gérard Boudol · Theoretical Computer Science · 1992 · 817 citations

Computing, Chemistry, Computer Science +16

The chemical abstract machine

Gérard Berry, Gérard Boudol · 1990 · 275 citations · Full text

Computing, Chemistry, Computer Science +16

Algèbre de processus et synchronisation

Didier Austry, Gérard Boudol · Theoretical Computer Science · 1984 · 151 citations · Full text

Computing, Computer Science, Business Process Management +9

Noninterference for concurrent programs and thread systems

Gérard Boudol, Ilaria Castellani · Theoretical Computer Science · 2002 · 140 citations · Full text

Computing, Computer Science, Computer Systems +14

A Non-Interleaving Semantics for CCS Based on Proved Transitions

Gérard Boudol, Ilaria Castellani · Fundamenta Informaticae · 1988 · 98 citations · Full text

Computing, Computer Science, Formal Methods +10

1–5 of 31