×
Compute Distance To:
Author ID: boudol.gerard Recent zbMATH articles by "Boudol, Gérard"
Published as: Boudol, Gérard; Boudol, G.; Boudol, Gerard
Documents Indexed: 54 Publications since 1978
Co-Authors: 22 Co-Authors with 31 Joint Publications
481 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 503 times in 411 Documents Cited by Year
The chemical abstract machine. Zbl 0747.68013
Berry, Gérard; Boudol, Gérard
124
1992
Algèbre de processus et synchronisation. Zbl 0533.68026
Austry, Didier; Boudol, Gérard
37
1984
A non-interleaving semantics for CCS based on proved transitions. Zbl 0657.68066
Boudol, Gérard; Castellani, Ilaria
34
1988
A theory of processes with localities. Zbl 0806.68070
Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A.
24
1994
Permutation of transitions: an event structure semantics for CCS and SCCS. (Technical contribution). Zbl 0683.68029
Boudol, G.; Castellani, I.
24
1989
Concurrency and atomicity. Zbl 0678.68078
Boudol, G.; Castellani, I.
21
1988
Flow models of distributed computations: Three equivalent semantics for CCS. Zbl 0938.68715
Boudol, Gérard; Castellani, Ilaria
19
1994
Lambda-calculi for (strict) parallel functions. Zbl 0796.03021
Boudol, Gérard
19
1994
On the semantics of concurrency: partial orders and transition systems. Zbl 0614.68023
Boudol, G.; Castellani, I.
18
1987
Observing localities. Zbl 0783.68072
Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A.
16
1993
Graphical versus logical specifications. Zbl 0776.68084
Boudol, Gérard; Larsen, Kim G.
15
1992
Notes on algebraic calculi of processes. Zbl 0578.68025
Boudol, G.
15
1985
A semantics for lambda calculi with resources. Zbl 0935.03022
Boudol, Gérard; Curien, Pierre-Louis; Lavatelli, Carolina
13
1999
Relaxed memory models: an operational approach. Zbl 1315.68173
Boudol, Gérard; Petri, Gustavo
11
2009
Noninterference for concurrent programs and thread systems. Zbl 0997.68022
Boudol, Gérard; Castellani, Ilaria
11
2002
Computational semantics of terms rewriting systems. Zbl 0611.68007
Boudol, G.
10
1985
Observing localities. (Extended abstract). Zbl 0778.68055
Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A.
7
1991
The discriminating power of multiplicities in the \(\lambda\)-calculus. Zbl 0853.68128
Boudol, Gérard; Laneve, Cosimo
6
1996
Termination, deadlock and divergence in the lambda-calculus with multiplicities. Zbl 0910.68131
Boudol, Gerard; Laneve, Cosimo
6
1995
Secure information flow as a safety property. Zbl 1341.68027
Boudol, Gérard
6
2009
ULM: A core programming model for global computing (extended abstract). Zbl 1126.68329
Boudol, Gérard
6
2004
Typing the use of resources in a concurrent calculus. Zbl 0891.03009
Boudol, Gérard
5
1997
Noninterference for concurrent programs. Zbl 0986.68012
Boudol, Gérard; Castellani, Ilaria
5
2001
Une semantique pour les arbres non déterministes. Zbl 0485.68020
Boudol, G.
5
1981
Graphical versus logical specifications. Zbl 0759.68059
Boudol, Gérard; Larsen, Kim G.
4
1990
On the semantics of the call-by-name CPS transform. Zbl 0944.68120
Boudol, G.
4
2000
The receptive distributed \(\pi\)-calculus. (Extended abstract). Zbl 0958.68117
Amadio, Roberto M.; Boudol, Gérard; Lhoussaine, Cédric
4
1999
The \(\pi\)-calculus in direct style. Zbl 0934.68037
Boudol, Gérard
4
1998
Atomic actions. Zbl 0684.68094
Boudol, Gérard
4
1989
The recursive record semantics of objects revisited. Zbl 1088.68036
Boudol, Gérard
3
2004
Typing noninterference for reactive programs. Zbl 1119.68056
Matos, Ana Almeida; Boudol, Gérard; Castellani, Ilaria
3
2007
Typing termination in a higher-order concurrent imperative language. Zbl 1213.68159
Boudol, Gérard
3
2010
A deadlock-free semantics for shared memory concurrency. Zbl 1250.68207
Boudol, Gérard
2
2009
On typing information flow. Zbl 1169.68365
Boudol, Gérard
2
2005
A generic membrane model (note). Zbl 1111.68532
Boudol, Gérard
2
2005
Concurrency and atomicity. Zbl 0666.68021
Boudol, G.; Castellani, I.
2
1988
Reactive concurrent programming revisited. Zbl 1316.68032
Amadio, Roberto M.; Boudol, Gérard; Boussinot, Frédéric; Castellani, Ilaria
1
2006
Petri nets and algebraic calculi of processes. Zbl 0606.68056
Boudol, Gérard; Roucairol, Gérard; de Simone, Robert
1
1986
A new recursion induction principle. Zbl 0405.68008
Boudol, Gerard
1
1979
The recursive record semantics of objects revisited (extended abstract). Zbl 0977.68517
Boudol, Gérard
1
2001
A theory of speculative computation. Zbl 1260.68086
Boudol, Gérard; Petri, Gustavo
1
2010
On strong normalization in the intersection type discipline. Zbl 1040.03007
Boudol, Gérard
1
2003
Typing safe deallocation. Zbl 1133.68316
Boudol, Gérard
1
2008
On type inference in the intersection type discipline. Zbl 1272.03073
Boudol, Gérard; Zimmer, Pascal
1
2005
Relaxed operational semantics of concurrent programming languages. Zbl 1459.68110
Boudol, Gérard; Petri, Gustavo; Serpette, Bernard
1
2012
Relaxed operational semantics of concurrent programming languages. Zbl 1459.68110
Boudol, Gérard; Petri, Gustavo; Serpette, Bernard
1
2012
Typing termination in a higher-order concurrent imperative language. Zbl 1213.68159
Boudol, Gérard
3
2010
A theory of speculative computation. Zbl 1260.68086
Boudol, Gérard; Petri, Gustavo
1
2010
Relaxed memory models: an operational approach. Zbl 1315.68173
Boudol, Gérard; Petri, Gustavo
11
2009
Secure information flow as a safety property. Zbl 1341.68027
Boudol, Gérard
6
2009
A deadlock-free semantics for shared memory concurrency. Zbl 1250.68207
Boudol, Gérard
2
2009
Typing safe deallocation. Zbl 1133.68316
Boudol, Gérard
1
2008
Typing noninterference for reactive programs. Zbl 1119.68056
Matos, Ana Almeida; Boudol, Gérard; Castellani, Ilaria
3
2007
Reactive concurrent programming revisited. Zbl 1316.68032
Amadio, Roberto M.; Boudol, Gérard; Boussinot, Frédéric; Castellani, Ilaria
1
2006
On typing information flow. Zbl 1169.68365
Boudol, Gérard
2
2005
A generic membrane model (note). Zbl 1111.68532
Boudol, Gérard
2
2005
On type inference in the intersection type discipline. Zbl 1272.03073
Boudol, Gérard; Zimmer, Pascal
1
2005
ULM: A core programming model for global computing (extended abstract). Zbl 1126.68329
Boudol, Gérard
6
2004
The recursive record semantics of objects revisited. Zbl 1088.68036
Boudol, Gérard
3
2004
On strong normalization in the intersection type discipline. Zbl 1040.03007
Boudol, Gérard
1
2003
Noninterference for concurrent programs and thread systems. Zbl 0997.68022
Boudol, Gérard; Castellani, Ilaria
11
2002
Noninterference for concurrent programs. Zbl 0986.68012
Boudol, Gérard; Castellani, Ilaria
5
2001
The recursive record semantics of objects revisited (extended abstract). Zbl 0977.68517
Boudol, Gérard
1
2001
On the semantics of the call-by-name CPS transform. Zbl 0944.68120
Boudol, G.
4
2000
A semantics for lambda calculi with resources. Zbl 0935.03022
Boudol, Gérard; Curien, Pierre-Louis; Lavatelli, Carolina
13
1999
The receptive distributed \(\pi\)-calculus. (Extended abstract). Zbl 0958.68117
Amadio, Roberto M.; Boudol, Gérard; Lhoussaine, Cédric
4
1999
The \(\pi\)-calculus in direct style. Zbl 0934.68037
Boudol, Gérard
4
1998
Typing the use of resources in a concurrent calculus. Zbl 0891.03009
Boudol, Gérard
5
1997
The discriminating power of multiplicities in the \(\lambda\)-calculus. Zbl 0853.68128
Boudol, Gérard; Laneve, Cosimo
6
1996
Termination, deadlock and divergence in the lambda-calculus with multiplicities. Zbl 0910.68131
Boudol, Gerard; Laneve, Cosimo
6
1995
A theory of processes with localities. Zbl 0806.68070
Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A.
24
1994
Flow models of distributed computations: Three equivalent semantics for CCS. Zbl 0938.68715
Boudol, Gérard; Castellani, Ilaria
19
1994
Lambda-calculi for (strict) parallel functions. Zbl 0796.03021
Boudol, Gérard
19
1994
Observing localities. Zbl 0783.68072
Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A.
16
1993
The chemical abstract machine. Zbl 0747.68013
Berry, Gérard; Boudol, Gérard
124
1992
Graphical versus logical specifications. Zbl 0776.68084
Boudol, Gérard; Larsen, Kim G.
15
1992
Observing localities. (Extended abstract). Zbl 0778.68055
Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A.
7
1991
Graphical versus logical specifications. Zbl 0759.68059
Boudol, Gérard; Larsen, Kim G.
4
1990
Permutation of transitions: an event structure semantics for CCS and SCCS. (Technical contribution). Zbl 0683.68029
Boudol, G.; Castellani, I.
24
1989
Atomic actions. Zbl 0684.68094
Boudol, Gérard
4
1989
A non-interleaving semantics for CCS based on proved transitions. Zbl 0657.68066
Boudol, Gérard; Castellani, Ilaria
34
1988
Concurrency and atomicity. Zbl 0678.68078
Boudol, G.; Castellani, I.
21
1988
Concurrency and atomicity. Zbl 0666.68021
Boudol, G.; Castellani, I.
2
1988
On the semantics of concurrency: partial orders and transition systems. Zbl 0614.68023
Boudol, G.; Castellani, I.
18
1987
Petri nets and algebraic calculi of processes. Zbl 0606.68056
Boudol, Gérard; Roucairol, Gérard; de Simone, Robert
1
1986
Notes on algebraic calculi of processes. Zbl 0578.68025
Boudol, G.
15
1985
Computational semantics of terms rewriting systems. Zbl 0611.68007
Boudol, G.
10
1985
Algèbre de processus et synchronisation. Zbl 0533.68026
Austry, Didier; Boudol, Gérard
37
1984
Une semantique pour les arbres non déterministes. Zbl 0485.68020
Boudol, G.
5
1981
A new recursion induction principle. Zbl 0405.68008
Boudol, Gerard
1
1979
all top 5

Cited by 558 Authors

21 Montanari, Ugo G.
13 Castellani, Ilaria
12 Dezani-Ciancaglini, Mariangiola
10 Degano, Pierpaolo
10 Meseguer Guaita, José
10 Priami, Corrado
9 Boudol, Gérard
9 Hennessy, Matthew C. B.
9 Roşu, Grigore
8 Ehrhard, Thomas
7 Aceto, Luca
7 Nielson, Flemming
7 Riis Nielson, Hanne
7 Sangiorgi, Davide
6 De Nicola, Rocco
6 Phillips, Iain W.
6 van Glabbeek, Robert Jan
6 Yoshida, Nobuko
5 Amadio, Roberto M.
5 Bonchi, Filippo
5 Bruni, Roberto
5 Darondeau, Philippe
5 Droste, Manfred
5 Gadducci, Fabio
5 Gordon, Andrew D.
5 Groote, Jan Friso
5 Legay, Axel
5 Manzonetto, Giulio
5 Şerbănuţă, Traian Florin
5 Ulidowski, Irek
5 Yankelevich, Daniel N.
4 Adamatzky, Andrew I.
4 Baeten, Jos C. M.
4 Baldan, Paolo
4 Busi, Nadia
4 Ciobanu, Gabriel
4 Ferrari, Gian Luigi
4 Fu, Yuxi
4 Gorrieri, Roberto
4 Honda, Kohei
4 Kesner, Delia
4 Larsen, Kim Guldstrand
4 Păun, Gheorghe
4 Steffen, Martin
4 Stolz, Volker
4 Vaandrager, Frits W.
4 Vogler, Walter
3 Almeida Matos, Ana
3 Andrei, Oana
3 Badouel, Eric
3 Bergstra, Jan A.
3 Best, Eike
3 Bracho, Felipe
3 Bucciarelli, Antonio
3 Cardelli, Luca
3 Corradini, Andrea
3 Corradini, Flavio
3 Díaz-Caro, Alejandro
3 Dowek, Gilles
3 Fahrenberg, Uli
3 Gardner, Philippa Anne
3 Gurov, Dilian
3 Hoare, C. A. R. Tony
3 Huisman, Marieke
3 Ibarra, Oscar H.
3 Ingólfsdóttir, Anna
3 Johansen, Christian
3 Kiehn, Astrid
3 Mauri, Giancarlo
3 Melgratti, Hernán
3 Meyer, Albert Ronald
3 Mezzina, Claudio Antares
3 Milner, Robin
3 Pérez, Jorge A.
3 Pilegaard, Henrik
3 Rathke, Julian
3 Regnier, Laurent
3 Riely, James
3 Virbitskaite, Irina B.
2 Abadi, Martín
2 Agrigoroaiei, Oana
2 Alhazov, Artiom
2 Åman Pohjola, Johannes
2 Aman, Bogdan
2 Arrighi, Pablo
2 Aubert, Clément
2 Baier, Christel
2 Berger, Martin J.
2 Bloom, Bard
2 Borgström, Johannes
2 Brookes, Stephen D.
2 Capecchi, Sara
2 Carbone, Marco
2 Cervesato, Iliano
2 Cristescu, Ioana Domnina
2 Danos, Vincent
2 de Simone, Robert
2 de Vries, Fer-Jan J.
2 de’Liguoro, Ugo
2 Deng, Yuxin
...and 458 more Authors
all top 5

Cited in 41 Serials

121 Theoretical Computer Science
46 Information and Computation
24 Journal of Logical and Algebraic Methods in Programming
16 Formal Aspects of Computing
15 Acta Informatica
14 MSCS. Mathematical Structures in Computer Science
13 The Journal of Logic and Algebraic Programming
7 Information Processing Letters
5 Logical Methods in Computer Science
3 Journal of Symbolic Computation
3 International Journal of Foundations of Computer Science
3 Formal Methods in System Design
3 Higher-Order and Symbolic Computation
2 Journal of Computer and System Sciences
2 Programming and Computer Software
2 Journal of Computer Science and Technology
2 Distributed Computing
2 RAIRO. Informatique Théorique et Applications
1 Artificial Intelligence
1 Chaos, Solitons and Fractals
1 Journal of Pure and Applied Algebra
1 Journal of Soviet Mathematics
1 Kybernetes
1 Notre Dame Journal of Formal Logic
1 Annals of Pure and Applied Logic
1 New Generation Computing
1 International Journal of Parallel Programming
1 Journal of Automated Reasoning
1 International Journal of Computer Mathematics
1 Applicable Algebra in Engineering, Communication and Computing
1 The Bulletin of Symbolic Logic
1 Soft Computing
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 RAIRO. Theoretical Informatics and Applications
1 International Journal of Modern Physics C
1 Theory and Practice of Logic Programming
1 Sādhanā
1 Computer Languages, Systems & Structures
1 International Journal of Parallel, Emergent and Distributed Systems
1 New Mathematics and Natural Computation
1 International Journal of Intelligent Computing and Cybernetics

Citations by Year