Gérard Boudol

Publication Activity (10 Years)

Years Active: 1979-2015
Publications (10 Years): 0

Top Topics

Operational Semantics

Web Applications

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Johan Grande, Gérard Boudol, Manuel Serrano
Jthread, a deadlock-free mutex library. PPDP (2015)
Gérard Boudol, Gustavo Petri, Bernard P. Serpette
Relaxed Operational Semantics of Concurrent Programming Languages EXPRESS/SOS (2012)
Gérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano
Reasoning about Web Applications: An Operational Semantics for HOP. ACM Trans. Program. Lang. Syst. 34 (2) (2012)
Gérard Boudol, Gustavo Petri
A Theory of Speculative Computation. ESOP (2010)
Gérard Boudol
Typing termination in a higher-order concurrent imperative language. Inf. Comput. 208 (6) (2010)
Ana Almeida Matos, Gérard Boudol
On declassification and the non-disclosure policy. J. Comput. Secur. 17 (5) (2009)
Gérard Boudol, Gustavo Petri
Relaxed memory models: an operational approach. POPL (2009)
Gérard Boudol
A Deadlock-Free Semantics for Shared Memory Concurrency. ICTAC (2009)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models (2008)
Gérard Boudol
Typing Safe Deallocation. ESOP (2008)
Gérard Boudol
On strong normalization and type inference in the intersection type discipline. Theor. Comput. Sci. 398 (1-3) (2008)
Gérard Boudol
Secure Information Flow as a Safety Property. Formal Aspects in Security and Trust (2008)
Gérard Boudol
Fair Cooperative Multithreading. CONCUR (2007)
Ana Almeida Matos, Gérard Boudol, Ilaria Castellani
Typing noninterference for reactive programs. J. Log. Algebraic Methods Program. 72 (2) (2007)
Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani
Reactive Concurrent Programming Revisited. Electron. Notes Theor. Comput. Sci. 162 (2006)
Gérard Boudol
Shared-Variable Concurrency: A Proposal. FSTTCS (2006)
Gérard Boudol, Pascal Zimmer
On Type Inference in the Intersection Type Discipline. Electron. Notes Theor. Comput. Sci. 136 (2005)
Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot
Reactive concurrent programming revisited CoRR (2005)
Ana Almeida Matos, Gérard Boudol
On Declassification and the Non-Disclosure Policy. CSFW (2005)
Gérard Boudol
On Typing Information Flow. ICTAC (2005)
Gérard Boudol
The recursive record semantics of objects revisited. J. Funct. Program. 14 (3) (2004)
Gérard Boudol
A Reactive Programming Model for Global Computing. COORDINATION (2004)
Gérard Boudol
ULM: A Core Programming Model for Global Computing: (Extended Abstract). ESOP (2004)
Gérard Boudol
A Generic Membrane Model (Note). Global Computing (2004)
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
The receptive distributed pi-calculus. ACM Trans. Program. Lang. Syst. 25 (5) (2003)
Gérard Boudol
On Programming Models for Mobility. ICTCS (2003)
Gérard Boudol
On Strong Normalization in the Intersection Type Discipline. TLCA (2003)
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
On message deliverability and non-uniform receptivity. Fundam. Informaticae 53 (2) (2002)
Gérard Boudol, Ilaria Castellani
Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. 281 (1-2) (2002)
Gérard Boudol, Pascal Zimmer
Recursion in the call-by-value lambda-calculus. FICS (2002)
Gérard Boudol
The Recursive Record Semantics of Objects Revisited. ESOP (2001)
Gérard Boudol, Ilaria Castellani
Noninterference for Concurrent Programs. ICALP (2001)
Gérard Boudol
On the semantics of the call-by-name CPS transform. Theor. Comput. Sci. 234 (1-2) (2000)
Gérard Boudol, Cosimo Laneve
lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction (2000)
Gérard Boudol, Silvano Dal-Zilio
An Interpretation of Extensible Objects. FCT (1999)
Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli
A semantics for lambda calculi with resources. Math. Struct. Comput. Sci. 9 (4) (1999)
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
The Receptive Distributed pi-Calculus (Extended Abstract). FSTTCS (1999)
Gérard Boudol
Calculi for concurrent processes. J. Comput. Sci. Technol. 13 (6) (1998)
Gérard Boudol
The p-Calculus in Direct Style. High. Order Symb. Comput. 11 (2) (1998)
Gérard Boudol
Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). ASIAN (1997)
Gérard Boudol
The Pi-calculus in Direct Style. POPL (1997)
Gérard Boudol, Cosimo Laneve
The Discriminating Power of Multiplicities in the Lambda-Calculus. Inf. Comput. 126 (1) (1996)
Gérard Boudol, Carolina Lavatelli
Full Abstraction for Lambda Calculus with Resources and Convergence Testing. CAAP (1996)
Gérard Boudol, Cosimo Laneve
Termination, deadlock and divergence in the lambda-calculus with multiplicities. MFPS (1995)
Gérard Boudol
Lambda-Calculi for (Strict) Parallel Functions Inf. Comput. 108 (1) (1994)
Gérard Boudol, Ilaria Castellani
Flow Models of Distributed Computations: Three Equivalent Semantics for CCS Inf. Comput. 114 (2) (1994)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
A Theory of Processes with Localities. Formal Aspects Comput. 6 (2) (1994)
Gérard Boudol
The Lambda-Calculus with Multiplicities (Abstract). CONCUR (1993)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
Observing Localities. Theor. Comput. Sci. 114 (1) (1993)
Gérard Boudol
Some Chemical Abstract Machines. REX School/Symposium (1993)
Gérard Boudol, Kim Guldstrand Larsen
Graphical Versus Logical Specifications. Theor. Comput. Sci. 106 (1) (1992)
Gérard Berry, Gérard Boudol
The Chemical Abstract Machine. Theor. Comput. Sci. 96 (1) (1992)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
A Theory of Process with Localities (Extended Abstract). CONCUR (1992)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
Observing Localities (Extended Abstract). MFCS (1991)
Gérard Boudol, Ilaria Castellani
Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes (1990)
Gérard Boudol, Kim Guldstrand Larsen
Graphical versus Logical Specifications. CAAP (1990)
Gérard Boudol
Flow Event Structures and Flow Nets. Semantics of Systems of Concurrent Processes (1990)
Gérard Berry, Gérard Boudol
The Chemical Abstract Machine. POPL (1990)
Gérard Boudol
Towards a Lambda-Calculus for Concurrent and Communicating Systems. TAPSOFT, Vol.1 (1989)
Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini
Process Calculi, from Theory to Practice: Verification Tools. Automatic Verification Methods for Finite State Systems (1989)
Gérard Boudol
Atomic actions. Bull. EATCS 38 (1989)
Gérard Boudol, Ilaria Castellani
Permutation of transitions: An event structure semantics for CCS and SCCS. REX Workshop (1988)
Gérard Boudol, Ilaria Castellani
Concurrency and Atomicity. Theor. Comput. Sci. 59 (1988)
Gérard Boudol, Ilaria Castellani
On the Semantics of Concurrency: Partial Orders and Transition Systems. TAPSOFT, Vol.1 (1987)
Gérard Boudol, Gérard Roucairol, Robert de Simone
Petri Nets and Algebraic Calculi of Processes. STACS (1985)
Gérard Boudol, Gérard Roucairol, Robert de Simone
Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets (1985)
Didier Austry, Gérard Boudol
Algèbre de Processus et Synchronisation. Theor. Comput. Sci. 30 (1984)
Gérard Boudol
Notes on Algebraic Calculi of Processes. Logics and Models of Concurrent Systems (1984)
Gérard Boudol, Laurent Kott
Recursion Induction Principle Revisited. Theor. Comput. Sci. 22 (1983)
Gérard Boudol
Une Semantique Pour Les Arbres Non Deterministes. CAAP (1981)
Gérard Boudol
A new Recursion Induction Principle. Theoretical Computer Science (1979)