Gérard Boudol
发表
Gérard Boudol,
2000,
Theor. Comput. Sci..
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1988,
REX Workshop.
Gérard Boudol,
G. Boudol,
1993,
REX School/Symposium.
Gérard Boudol,
Ana Gualdina Almeida Matos,
G. Boudol,
2005,
18th IEEE Computer Security Foundations Workshop (CSFW'05).
Robert de Simone,
Gérard Roucairol,
Gérard Boudol,
1985,
STACS.
Roberto M. Amadio,
Pascal Zimmer,
Gérard Boudol,
2002
.
Cosimo Laneve,
Gérard Boudol,
1995
.
Gérard Boudol,
Gustavo Petri,
G. Boudol,
2009,
POPL '09.
Cosimo Laneve,
Gérard Boudol,
C. Laneve,
2000,
Proof, Language, and Interaction.
Gérard Boudol,
G. Boudol,
2007,
Inf. Comput..
Gérard Boudol,
G. Boudol,
2005,
ICTAC.
Erick Gallesio,
Manuel Serrano,
Bernard P. Serpette,
2006
.
Ilaria Castellani,
Gérard Boudol,
Frédéric Boussinot,
2008
.
Gérard Boudol,
2009,
ICTAC.
Gérard Boudol,
G. Boudol,
2003,
TLCA.
Gérard Boudol,
2001,
ESOP.
Gérard Boudol,
G. Boudol,
2001,
Journal of Functional Programming.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1991,
MFCS.
Ilaria Castellani,
Roberto M. Amadio,
Gérard Boudol,
2005,
APC 25.
Silvano Dal-Zilio,
Gérard Boudol,
G. Boudol,
1999,
FCT.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1992,
Formal Aspects of Computing.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1993,
Theor. Comput. Sci..
Manuel Serrano,
Gérard Boudol,
Johan Grande,
2015,
PPDP.
Pascal Zimmer,
Gérard Boudol,
G. Boudol,
2005,
ITRS.
Gérard Boudol,
Marija Kolundžija,
G. Boudol,
2007
.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1987,
TAPSOFT, Vol.1.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1992,
International Conference on Concurrency Theory.
Gérard Boudol,
2008,
ESOP.
Gérard Boudol,
G. Boudol,
1997,
ASIAN.
Gérard Boudol,
Ana Gualdina Almeida Matos,
2005,
CSFW.
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Glynn Winskel,
Matthew Hennessy,
Ilaria Castellani,
2008,
Concurrency, Graphs and Models.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1988
.
Bernard P. Serpette,
Gérard Boudol,
Gustavo Petri,
2012,
EXPRESS/SOS.
Gérard Boudol,
G. Boudol,
2007,
CONCUR.
Gérard Boudol,
G. Boudol,
1992
.
Gérard Boudol,
G. Boudol,
1994,
Inf. Comput..
Gérard Boudol,
2004,
Lecture Notes in Computer Science.
Gérard Boudol,
Didier Austry,
Gérard Boudol,
1984,
Theor. Comput. Sci..
Kim G. Larsen,
Gérard Boudol,
K. Larsen,
1990,
Theor. Comput. Sci..
Robert de Simone,
Didier Vergamini,
Gérard Boudol,
1989,
Automatic Verification Methods for Finite State Systems.
Gérard Boudol,
Gustavo Petri,
2010,
ESOP.
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
2002,
Fundam. Informaticae.
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
1999
.
Gérard Boudol,
1998,
High. Order Symb. Comput..
Gérard Boudol,
2004,
Global Computing.
Cosimo Laneve,
Gérard Boudol,
1996,
Inf. Comput..
Gérard Berry,
Gérard Boudol,
G. Berry,
1989,
POPL '90.
Roberto M. Amadio,
Frédéric Dabrowski,
Gérard Boudol,
2006
.
Gérard Boudol,
2006,
FSTTCS.
Gérard Boudol,
Gérard Boudol,
1981,
CAAP.
Gérard Boudol,
2004
.
Gérard Boudol,
1990,
Semantics of Systems of Concurrent Processes.
Gérard Boudol,
G. Boudol,
2009,
Formal Aspects in Security and Trust.
Kim G. Larsen,
Gérard Boudol,
K. Larsen,
1990,
Theoretical Computer Science.
Ilaria Castellani,
Manuel Serrano,
Tamara Rezk,
2013
.
Gérard Boudol,
G. Boudol,
2008,
Theor. Comput. Sci..
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
2002,
Theor. Comput. Sci..
Gérard Boudol,
1989,
TAPSOFT, Vol.1.
Ilaria Castellani,
Gérard Boudol,
1994,
Inf. Comput..
Pierre-Louis Curien,
Gérard Boudol,
Carolina Lavatelli,
1999,
Mathematical Structures in Computer Science.
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
1999,
FSTTCS.
Gérard Boudol,
1989,
Bull. EATCS.
Gérard Boudol,
G. Boudol,
2004,
ESOP.
Gérard Boudol,
2004
.
Gérard Boudol,
Carolina Lavatelli,
G. Boudol,
1996,
CAAP.
Gérard Boudol,
G. Boudol,
1998,
Journal of Computational Science and Technology.
Ilaria Castellani,
Gérard Boudol,
Ana Gualdina Almeida Matos,
2007,
J. Log. Algebraic Methods Program..
Gérard Boudol,
1979,
Theoretical Computer Science.
Gérard Boudol,
1997,
POPL '97.
Gérard Boudol,
2003,
ICTCS.
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
1999,
TOPL.
Manuel Serrano,
Tamara Rezk,
Gérard Boudol,
2012,
TOPL.
Robert de Simone,
Gérard Roucairol,
Gérard Boudol,
1985,
STACS.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1992
.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1990,
Semantics of Systems of Concurrent Processes.
Gérard Boudol,
Laurent Kott,
G. Boudol,
1983,
Theor. Comput. Sci..
Pascal Zimmer,
Gérard Boudol,
G. Boudol,
2002,
FICS.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
2001,
ICALP.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1988,
Theor. Comput. Sci..
Gérard Boudol,
G. Boudol,
1993,
CONCUR.
Gérard Boudol,
G. Boudol,
1990
.