Search the dblp DataBase
Gérard Boudol :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gérard Boudol , Gérard Roucairol , Robert de Simone Petri nets and algebraic calculi of processes. [Citation Graph (0, 0)][DBLP ] Applications and Theory in Petri Nets, 1985, pp:41-58 [Conf ] Gérard Boudol Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ASIAN, 1997, pp:239-253 [Conf ] Gérard Boudol , Valérie Roy , Robert de Simone , Didier Vergamini Process Calculi, from Theory to Practice: Verification Tools. [Citation Graph (0, 0)][DBLP ] Automatic Verification Methods for Finite State Systems, 1989, pp:1-10 [Conf ] Gérard Boudol Une Semantique Pour Les Arbres Non Deterministes. [Citation Graph (0, 0)][DBLP ] CAAP, 1981, pp:147-161 [Conf ] Gérard Boudol , Kim Guldstrand Larsen Graphical versus Logical Specifications. [Citation Graph (0, 0)][DBLP ] CAAP, 1990, pp:57-71 [Conf ] Gérard Boudol , Carolina Lavatelli Full Abstraction for Lambda Calculus with Resources and Convergence Testing. [Citation Graph (0, 0)][DBLP ] CAAP, 1996, pp:302-316 [Conf ] Gérard Boudol The Lambda-Calculus with Multiplicities (Abstract). [Citation Graph (0, 0)][DBLP ] CONCUR, 1993, pp:1-6 [Conf ] Gérard Boudol , Ilaria Castellani , Matthew Hennessy , Astrid Kiehn A Theory of Process with Localities (Extended Abstract). [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:108-122 [Conf ] Gérard Boudol A Reactive Programming Model for Global Computing. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2004, pp:1- [Conf ] Ana Almeida Matos , Gérard Boudol On Declassification and the Non-Disclosure Policy. [Citation Graph (0, 0)][DBLP ] CSFW, 2005, pp:226-240 [Conf ] Gérard Boudol The Recursive Record Semantics of Objects Revisited. [Citation Graph (0, 0)][DBLP ] ESOP, 2001, pp:269-283 [Conf ] Gérard Boudol ULM: A Core Programming Model for Global Computing: (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ESOP, 2004, pp:234-248 [Conf ] Gérard Boudol , Silvano Dal-Zilio An Interpretation of Extensible Objects. [Citation Graph (0, 0)][DBLP ] FCT, 1999, pp:148-160 [Conf ] Gérard Boudol , Pascal Zimmer Recursion in the call-by-value lambda-calculus. [Citation Graph (0, 0)][DBLP ] FICS, 2002, pp:61-66 [Conf ] Gérard Boudol Shared-Variable Concurrency: A Proposal. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2006, pp:1-3 [Conf ] Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine The Receptive Distributed pi-Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP ] FSTTCS, 1999, pp:304-315 [Conf ] Gérard Boudol A Generic Membrane Model (Note). [Citation Graph (0, 0)][DBLP ] Global Computing, 2004, pp:208-222 [Conf ] Gérard Boudol , Ilaria Castellani Noninterference for Concurrent Programs. [Citation Graph (0, 0)][DBLP ] ICALP, 2001, pp:382-395 [Conf ] Gérard Boudol On Typing Information Flow. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:366-380 [Conf ] Gérard Boudol On Programming Models for Mobility. [Citation Graph (0, 0)][DBLP ] ICTCS, 2003, pp:22- [Conf ] Gérard Boudol Flow Event Structures and Flow Nets. [Citation Graph (0, 0)][DBLP ] Semantics of Systems of Concurrent Processes, 1990, pp:62-95 [Conf ] Gérard Boudol , Ilaria Castellani Three Equivalent Semantics for CCS. [Citation Graph (0, 0)][DBLP ] Semantics of Systems of Concurrent Processes, 1990, pp:96-141 [Conf ] Gérard Boudol , Ilaria Castellani , Matthew Hennessy , Astrid Kiehn Observing Localities (Extended Abstract). [Citation Graph (0, 0)][DBLP ] MFCS, 1991, pp:93-102 [Conf ] Gérard Berry , Gérard Boudol The Chemical Abstract Machine. [Citation Graph (0, 0)][DBLP ] POPL, 1990, pp:81-94 [Conf ] Gérard Boudol The Pi-calculus in Direct Style. [Citation Graph (0, 0)][DBLP ] POPL, 1997, pp:228-241 [Conf ] Gérard Boudol Some Chemical Abstract Machines. [Citation Graph (0, 0)][DBLP ] REX School/Symposium, 1993, pp:92-123 [Conf ] Gérard Boudol , Ilaria Castellani Permutation of transitions: An event structure semantics for CCS and SCCS. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1988, pp:411-427 [Conf ] Gérard Boudol , Gérard Roucairol , Robert de Simone Petri Nets and Algebraic Calculi of Processes. [Citation Graph (0, 0)][DBLP ] STACS, 1985, pp:59-70 [Conf ] Gérard Boudol Towards a Lambda-Calculus for Concurrent and Communicating Systems. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1989, pp:149-161 [Conf ] Gérard Boudol , Ilaria Castellani On the Semantics of Concurrency: Partial Orders and Transition Systems. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1987, pp:123-137 [Conf ] Gérard Boudol A new Recursion Induction Principle. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1979, pp:79-90 [Conf ] Gérard Boudol On Strong Normalization in the Intersection Type Discipline. [Citation Graph (0, 0)][DBLP ] TLCA, 2003, pp:60-74 [Conf ] Gérard Boudol Atomic actions. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1989, v:38, n:, pp:136-144 [Journal ] Gérard Boudol , Cosimo Laneve Termination, deadlock and divergence in the lambda-calculus with multiplicities. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal ] Gérard Boudol , Pascal Zimmer On Type Inference in the Intersection Type Discipline. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:23-42 [Journal ] Roberto M. Amadio , Gérard Boudol , Frédéric Boussinot , Ilaria Castellani Reactive Concurrent Programming Revisited. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:49-60 [Journal ] Gérard Boudol , Ilaria Castellani , Matthew Hennessy , Astrid Kiehn A Theory of Processes with Localities. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:2, pp:165-200 [Journal ] Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine On message deliverability and non-uniform receptivity. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2002, v:53, n:2, pp:105-129 [Journal ] Gérard Boudol Lambda-Calculi for (Strict) Parallel Functions [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:108, n:1, pp:51-127 [Journal ] Gérard Boudol , Ilaria Castellani Flow Models of Distributed Computations: Three Equivalent Semantics for CCS [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:114, n:2, pp:247-314 [Journal ] Gérard Boudol , Cosimo Laneve The Discriminating Power of Multiplicities in the Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:126, n:1, pp:83-102 [Journal ] Gérard Boudol The recursive record semantics of objects revisited. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2004, v:14, n:3, pp:263-315 [Journal ] Gérard Boudol The p-Calculus in Direct Style. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 1998, v:11, n:2, pp:177-208 [Journal ] Gérard Boudol , Pierre-Louis Curien , Carolina Lavatelli A semantics for lambda calculi with resources. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:437-482 [Journal ] Didier Austry , Gérard Boudol Algèbre de Processus et Synchronisation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:30, n:, pp:91-131 [Journal ] Gérard Berry , Gérard Boudol The Chemical Abstract Machine. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:96, n:1, pp:217-248 [Journal ] Gérard Boudol On the semantics of the call-by-name CPS transform. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:234, n:1-2, pp:309-321 [Journal ] Gérard Boudol , Ilaria Castellani Noninterference for concurrent programs and thread systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:281, n:1-2, pp:109-130 [Journal ] Gérard Boudol , Ilaria Castellani Concurrency and Atomicity. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1988, v:59, n:, pp:25-84 [Journal ] Gérard Boudol , Ilaria Castellani , Matthew Hennessy , Astrid Kiehn Observing Localities. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:114, n:1, pp:31-61 [Journal ] Gérard Boudol , Laurent Kott Recursion Induction Principle Revisited. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:22, n:, pp:135-173 [Journal ] Gérard Boudol , Kim Guldstrand Larsen Graphical Versus Logical Specifications. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:106, n:1, pp:3-20 [Journal ] Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine The receptive distributed pi-calculus. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2003, v:25, n:5, pp:549-577 [Journal ] Gérard Boudol Fair Cooperative Multithreading. [Citation Graph (0, 0)][DBLP ] CONCUR, 2007, pp:272-286 [Conf ] Ana Almeida Matos , Gérard Boudol , Ilaria Castellani Typing noninterference for reactive programs. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2007, v:72, n:2, pp:124-156 [Journal ] lambda-calculus, multiplicities, and the pi-calculus. [Citation Graph (, )][DBLP ] Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. [Citation Graph (, )][DBLP ] Typing Safe Deallocation. [Citation Graph (, )][DBLP ] A Theory of Speculative Computation. [Citation Graph (, )][DBLP ] A Deadlock-Free Semantics for Shared Memory Concurrency. [Citation Graph (, )][DBLP ] Secure Information Flow as a Safety Property. [Citation Graph (, )][DBLP ] Relaxed memory models: an operational approach. [Citation Graph (, )][DBLP ] Reactive concurrent programming revisited [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.458secs