Gérard Boudol Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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): 10 (2012)
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Gustavo Petri, Bernard P. Serpette: Relaxed Operational Semantics of Concurrent Programming Languages. DCM 2012: 19-33
2010
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Typing termination in a higher-order concurrent imperative language. Inf. Comput. 208(6): 716-736 (2010)
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Gustavo Petri: A Theory of Speculative Computation. ESOP 2010: 165-184
2009
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Almeida Matos, Gérard Boudol: On declassification and the non-disclosure policy. Journal of Computer Security 17(5): 549-597 (2009)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: A Deadlock-Free Semantics for Shared Memory Concurrency. ICTAC 2009: 140-154
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Gustavo Petri: Relaxed memory models: an operational approach. POPL 2009: 392-403
2008
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: On strong normalization and type inference in the intersection type discipline. Theor. Comput. Sci. 398(1-3): 63-81 (2008)
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 757-777
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Typing Safe Deallocation. ESOP 2008: 116-130
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Secure Information Flow as a Safety Property. Formal Aspects in Security and Trust 2008: 20-34
2007
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. J. Log. Algebr. Program. 72(2): 124-156 (2007)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Fair Cooperative Multithreading. CONCUR 2007: 272-286
2006
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani: Reactive Concurrent Programming Revisited. Electr. Notes Theor. Comput. Sci. 162: 49-60 (2006)
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Shared-Variable Concurrency: A Proposal. FSTTCS 2006: 1-3
2005
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Pascal Zimmer: On Type Inference in the Intersection Type Discipline. Electr. Notes Theor. Comput. Sci. 136: 23-42 (2005)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Almeida Matos, Gérard Boudol: On Declassification and the Non-Disclosure Policy. CSFW 2005: 226-240
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: On Typing Information Flow. ICTAC 2005: 366-380
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot: Reactive concurrent programming revisited. CoRR abs/cs/0512058 (2005)
2004
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: The recursive record semantics of objects revisited. J. Funct. Program. 14(3): 263-315 (2004)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: A Reactive Programming Model for Global Computing. COORDINATION 2004: 1
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: ULM: A Core Programming Model for Global Computing: (Extended Abstract). ESOP 2004: 234-248
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: A Generic Membrane Model (Note). Global Computing 2004: 208-222
2003
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: The receptive distributed pi-calculus. ACM Trans. Program. Lang. Syst. 25(5): 549-577 (2003)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: On Programming Models for Mobility. ICTCS 2003: 22
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: On Strong Normalization in the Intersection Type Discipline. TLCA 2003: 60-74
2002
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: On message deliverability and non-uniform receptivity. Fundam. Inform. 53(2): 105-129 (2002)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani: Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. 281(1-2): 109-130 (2002)
c25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Pascal Zimmer: Recursion in the call-by-value lambda-calculus. FICS 2002: 61-66
2001
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: The Recursive Record Semantics of Objects Revisited. ESOP 2001: 269-283
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani: Noninterference for Concurrent Programs. ICALP 2001: 382-395
2000
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: On the semantics of the call-by-name CPS transform. Theor. Comput. Sci. 234(1-2): 309-321 (2000)
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Cosimo Laneve: lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction 2000: 659-690
1999
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli: A semantics for lambda calculi with resources. Mathematical Structures in Computer Science 9(4): 437-482 (1999)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Silvano Dal-Zilio: An Interpretation of Extensible Objects. FCT 1999: 148-160
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: The Receptive Distributed pi-Calculus (Extended Abstract). FSTTCS 1999: 304-315
1998
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Calculi for concurrent processes. J. Comput. Sci. Technol. 13(6): 509 (1998)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: The p-Calculus in Direct Style. Higher-Order and Symbolic Computation 11(2): 177-208 (1998)
1997
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). ASIAN 1997: 239-253
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: The Pi-calculus in Direct Style. POPL 1997: 228-241
1996
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Cosimo Laneve: The Discriminating Power of Multiplicities in the Lambda-Calculus. Inf. Comput. 126(1): 83-102 (1996)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Carolina Lavatelli: Full Abstraction for Lambda Calculus with Resources and Convergence Testing. CAAP 1996: 302-316
1995
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Cosimo Laneve: Termination, deadlock and divergence in the lambda-calculus with multiplicities. Electr. Notes Theor. Comput. Sci. 1: 32-45 (1995)
1994
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: A Theory of Processes with Localities. Formal Asp. Comput. 6(2): 165-200 (1994)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Lambda-Calculi for (Strict) Parallel Functions. Inf. Comput. 108(1): 51-127 (1994)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani: Flow Models of Distributed Computations: Three Equivalent Semantics for CCS. Inf. Comput. 114(2): 247-314 (1994)
1993
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: Observing Localities. Theor. Comput. Sci. 114(1): 31-61 (1993)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: The Lambda-Calculus with Multiplicities (Abstract). CONCUR 1993: 1-6
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Some Chemical Abstract Machines. REX School/Symposium 1993: 92-123
1992
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. Theor. Comput. Sci. 96(1): 217-248 (1992)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Kim Guldstrand Larsen: Graphical Versus Logical Specifications. Theor. Comput. Sci. 106(1): 3-20 (1992)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: A Theory of Process with Localities (Extended Abstract). CONCUR 1992: 108-122
1991
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: Observing Localities (Extended Abstract). MFCS 1991: 93-102
1990
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Kim Guldstrand Larsen: Graphical versus Logical Specifications. CAAP 1990: 57-71
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Flow Event Structures and Flow Nets. Semantics of Systems of Concurrent Processes 1990: 62-95
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani: Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes 1990: 96-141
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. POPL 1990: 81-94
1989
j4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Atomic actions. Bulletin of the EATCS 38: 136-144 (1989)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 1-10
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Towards a Lambda-Calculus for Concurrent and Communicating Systems. TAPSOFT, Vol.1 1989: 149-161
1988
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani: Concurrency and Atomicity. Theor. Comput. Sci. 59: 25-84 (1988)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani: Permutation of transitions: An event structure semantics for CCS and SCCS. REX Workshop 1988: 411-427
1987
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Ilaria Castellani: On the Semantics of Concurrency: Partial Orders and Transition Systems. TAPSOFT, Vol.1 1987: 123-137
1985
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Gérard Roucairol, Robert de Simone: Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets 1985: 41-58
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Gérard Roucairol, Robert de Simone: Petri Nets and Algebraic Calculi of Processes. STACS 1985: 59-70
1984
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Didier Austry, Gérard Boudol: Algèbre de Processus et Synchronisation. Theor. Comput. Sci. 30: 91-131 (1984)
1983
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol, Laurent Kott: Recursion Induction Principle Revisited. Theor. Comput. Sci. 22: 135-173 (1983)
1981
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: Une Semantique Pour Les Arbres Non Deterministes. CAAP 1981: 147-161
1979
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gérard Boudol: A new Recursion Induction Principle. Theoretical Computer Science 1979: 79-90

Coauthor Index

1Roberto M. Amadio
[j22] [i1] [j19] [j18] [c20]
2Didier Austry
[j2]
3Gérard Berry
[j6] [c9]
4Frédéric Boussinot
[j22] [i1]
5Ilaria Castellani
[c37] [j23] [j22] [i1] [j17] [c23] [j10] [j8] [j7] [c14] [c13] [c10] [j3] [c6] [c5]
6Pierre-Louis Curien
[j15]
7Silvano Dal-Zilio
[c21]
8Matthew Hennessy
[c37] [j10] [j7] [c14] [c13]
9Astrid Kiehn
[j10] [j7] [c14] [c13]
10Laurent Kott
[j1]
11Cosimo Laneve
[c22] [j12] [j11]
12Kim Guldstrand Larsen (Kim G. Larsen)
[j5] [c12]
13Carolina Lavatelli
[j15] [c17]
14Cédric Lhoussaine
[j19] [j18] [c20]
15Zhengqin Luo
[j27]
16Ana Gualdina Almeida Matos (Ana Almeida Matos)
[j25] [j23] [c32]
17Mogens Nielsen
[c37]
18Gustavo Petri
[c41] [c40] [c38]
19Tamara Rezk
[j27]
20Gérard Roucairol
[c4] [c3]
21Valérie Roy
[c8]
22Bernard P. Serpette
[c41]
23Manuel Serrano
[j27]
24Robert de Simone
[c8] [c4] [c3]
25Didier Vergamini
[c8]
26Glynn Winskel
[c37]
27Pascal Zimmer
[j21] [c25]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 05:08:17 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page