dblp.uni-trier.dewww.uni-trier.de

Gérard Boudol

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
62EEGérard Boudol, Gustavo Petri: Relaxed memory models: an operational approach. POPL 2009: 392-403
2008
61EEGé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
60EEGérard Boudol: Typing Safe Deallocation. ESOP 2008: 116-130
59EEGérard Boudol: Secure Information Flow as a Safety Property. Formal Aspects in Security and Trust 2008: 20-34
58EEGérard Boudol: On strong normalization and type inference in the intersection type discipline. Theor. Comput. Sci. 398(1-3): 63-81 (2008)
2007
57EEGérard Boudol: Fair Cooperative Multithreading. CONCUR 2007: 272-286
56EEAna Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. J. Log. Algebr. Program. 72(2): 124-156 (2007)
2006
55EEGérard Boudol: Shared-Variable Concurrency: A Proposal. FSTTCS 2006: 1-3
54EERoberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani: Reactive Concurrent Programming Revisited. Electr. Notes Theor. Comput. Sci. 162: 49-60 (2006)
2005
53EEAna Almeida Matos, Gérard Boudol: On Declassification and the Non-Disclosure Policy. CSFW 2005: 226-240
52EEGérard Boudol: On Typing Information Flow. ICTAC 2005: 366-380
51EERoberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot: Reactive concurrent programming revisited CoRR abs/cs/0512058: (2005)
50EEGérard Boudol, Pascal Zimmer: On Type Inference in the Intersection Type Discipline. Electr. Notes Theor. Comput. Sci. 136: 23-42 (2005)
2004
49EEGérard Boudol: A Reactive Programming Model for Global Computing. COORDINATION 2004: 1
48EEGérard Boudol: ULM: A Core Programming Model for Global Computing: (Extended Abstract). ESOP 2004: 234-248
47EEGérard Boudol: A Generic Membrane Model (Note). Global Computing 2004: 208-222
46EEGérard Boudol: The recursive record semantics of objects revisited. J. Funct. Program. 14(3): 263-315 (2004)
2003
45EEGérard Boudol: On Programming Models for Mobility. ICTCS 2003: 22
44EEGérard Boudol: On Strong Normalization in the Intersection Type Discipline. TLCA 2003: 60-74
43EERoberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: The receptive distributed pi-calculus. ACM Trans. Program. Lang. Syst. 25(5): 549-577 (2003)
2002
42 Gérard Boudol, Pascal Zimmer: Recursion in the call-by-value lambda-calculus. FICS 2002: 61-66
41EERoberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: On message deliverability and non-uniform receptivity. Fundam. Inform. 53(2): 105-129 (2002)
40EEGérard Boudol, Ilaria Castellani: Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. 281(1-2): 109-130 (2002)
2001
39EEGérard Boudol: The Recursive Record Semantics of Objects Revisited. ESOP 2001: 269-283
38EEGérard Boudol, Ilaria Castellani: Noninterference for Concurrent Programs. ICALP 2001: 382-395
2000
37 Gérard Boudol, Cosimo Laneve: lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction 2000: 659-690
36EEGérard Boudol: On the semantics of the call-by-name CPS transform. Theor. Comput. Sci. 234(1-2): 309-321 (2000)
1999
35EEGérard Boudol, Silvano Dal-Zilio: An Interpretation of Extensible Objects. FCT 1999: 148-160
34EERoberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: The Receptive Distributed pi-Calculus (Extended Abstract). FSTTCS 1999: 304-315
33 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)
1998
32 Gérard Boudol: The p-Calculus in Direct Style. Higher-Order and Symbolic Computation 11(2): 177-208 (1998)
1997
31 Gérard Boudol: Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). ASIAN 1997: 239-253
30EEGérard Boudol: The Pi-calculus in Direct Style. POPL 1997: 228-241
1996
29 Gérard Boudol, Carolina Lavatelli: Full Abstraction for Lambda Calculus with Resources and Convergence Testing. CAAP 1996: 302-316
28 Gérard Boudol, Cosimo Laneve: The Discriminating Power of Multiplicities in the Lambda-Calculus. Inf. Comput. 126(1): 83-102 (1996)
1995
27EEGérard Boudol, Cosimo Laneve: Termination, deadlock and divergence in the lambda-calculus with multiplicities. Electr. Notes Theor. Comput. Sci. 1: (1995)
1994
26 Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: A Theory of Processes with Localities. Formal Asp. Comput. 6(2): 165-200 (1994)
25 Gérard Boudol: Lambda-Calculi for (Strict) Parallel Functions Inf. Comput. 108(1): 51-127 (1994)
24 Gérard Boudol, Ilaria Castellani: Flow Models of Distributed Computations: Three Equivalent Semantics for CCS Inf. Comput. 114(2): 247-314 (1994)
1993
23 Gérard Boudol: The Lambda-Calculus with Multiplicities (Abstract). CONCUR 1993: 1-6
22 Gérard Boudol: Some Chemical Abstract Machines. REX School/Symposium 1993: 92-123
21 Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: Observing Localities. Theor. Comput. Sci. 114(1): 31-61 (1993)
1992
20 Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: A Theory of Process with Localities (Extended Abstract). CONCUR 1992: 108-122
19 Gérard Boudol, Kim Guldstrand Larsen: Graphical Versus Logical Specifications. Theor. Comput. Sci. 106(1): 3-20 (1992)
18 Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. Theor. Comput. Sci. 96(1): 217-248 (1992)
1991
17 Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: Observing Localities (Extended Abstract). MFCS 1991: 93-102
1990
16 Gérard Boudol, Kim Guldstrand Larsen: Graphical versus Logical Specifications. CAAP 1990: 57-71
15 Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. POPL 1990: 81-94
14 Gérard Boudol: Flow Event Structures and Flow Nets. Semantics of Systems of Concurrent Processes 1990: 62-95
13 Gérard Boudol, Ilaria Castellani: Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes 1990: 96-141
1989
12 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
11 Gérard Boudol: Towards a Lambda-Calculus for Concurrent and Communicating Systems. TAPSOFT, Vol.1 1989: 149-161
10 Gérard Boudol: Atomic actions. Bulletin of the EATCS 38: 136-144 (1989)
1988
9 Gérard Boudol, Ilaria Castellani: Permutation of transitions: An event structure semantics for CCS and SCCS. REX Workshop 1988: 411-427
8 Gérard Boudol, Ilaria Castellani: Concurrency and Atomicity. Theor. Comput. Sci. 59: 25-84 (1988)
1987
7 Gérard Boudol, Ilaria Castellani: On the Semantics of Concurrency: Partial Orders and Transition Systems. TAPSOFT, Vol.1 1987: 123-137
1985
6 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
5 Gérard Boudol, Gérard Roucairol, Robert de Simone: Petri Nets and Algebraic Calculi of Processes. STACS 1985: 59-70
1984
4 Didier Austry, Gérard Boudol: Algèbre de Processus et Synchronisation. Theor. Comput. Sci. 30: 91-131 (1984)
1983
3 Gérard Boudol, Laurent Kott: Recursion Induction Principle Revisited. Theor. Comput. Sci. 22: 135-173 (1983)
1981
2 Gérard Boudol: Une Semantique Pour Les Arbres Non Deterministes. CAAP 1981: 147-161
1979
1 Gérard Boudol: A new Recursion Induction Principle. Theoretical Computer Science 1979: 79-90

Coauthor Index

1Roberto M. Amadio [34] [41] [43] [51] [54]
2Didier Austry [4]
3Gérard Berry [15] [18]
4Frédéric Boussinot [51] [54]
5Ilaria Castellani [7] [8] [9] [13] [17] [20] [21] [24] [26] [38] [40] [51] [54] [56] [61]
6Pierre-Louis Curien [33]
7Silvano Dal-Zilio [35]
8Matthew Hennessy [17] [20] [21] [26] [61]
9Astrid Kiehn [17] [20] [21] [26]
10Laurent Kott [3]
11Cosimo Laneve [27] [28] [37]
12Kim Guldstrand Larsen [16] [19]
13Carolina Lavatelli [29] [33]
14Cédric Lhoussaine [34] [41] [43]
15Ana Gualdina Almeida Matos (Ana Almeida Matos) [53] [56]
16Mogens Nielsen [61]
17Gustavo Petri [62]
18Gérard Roucairol [5] [6]
19Valérie Roy [12]
20Robert de Simone [5] [6] [12]
21Didier Vergamini [12]
22Glynn Winskel [61]
23Pascal Zimmer [42] [50]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)