The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gérard Boudol: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Gérard Boudol
    Une Semantique Pour Les Arbres Non Deterministes. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:147-161 [Conf]
  5. Gérard Boudol, Kim Guldstrand Larsen
    Graphical versus Logical Specifications. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:57-71 [Conf]
  6. 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]
  7. Gérard Boudol
    The Lambda-Calculus with Multiplicities (Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:1-6 [Conf]
  8. 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]
  9. Gérard Boudol
    A Reactive Programming Model for Global Computing. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:1- [Conf]
  10. Ana Almeida Matos, Gérard Boudol
    On Declassification and the Non-Disclosure Policy. [Citation Graph (0, 0)][DBLP]
    CSFW, 2005, pp:226-240 [Conf]
  11. Gérard Boudol
    The Recursive Record Semantics of Objects Revisited. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:269-283 [Conf]
  12. Gérard Boudol
    ULM: A Core Programming Model for Global Computing: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:234-248 [Conf]
  13. Gérard Boudol, Silvano Dal-Zilio
    An Interpretation of Extensible Objects. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:148-160 [Conf]
  14. Gérard Boudol, Pascal Zimmer
    Recursion in the call-by-value lambda-calculus. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:61-66 [Conf]
  15. Gérard Boudol
    Shared-Variable Concurrency: A Proposal. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:1-3 [Conf]
  16. 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]
  17. Gérard Boudol
    A Generic Membrane Model (Note). [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:208-222 [Conf]
  18. Gérard Boudol, Ilaria Castellani
    Noninterference for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:382-395 [Conf]
  19. Gérard Boudol
    On Typing Information Flow. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:366-380 [Conf]
  20. Gérard Boudol
    On Programming Models for Mobility. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:22- [Conf]
  21. 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]
  22. 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]
  23. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    Observing Localities (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:93-102 [Conf]
  24. Gérard Berry, Gérard Boudol
    The Chemical Abstract Machine. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:81-94 [Conf]
  25. Gérard Boudol
    The Pi-calculus in Direct Style. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:228-241 [Conf]
  26. Gérard Boudol
    Some Chemical Abstract Machines. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:92-123 [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Gérard Boudol
    A new Recursion Induction Principle. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1979, pp:79-90 [Conf]
  32. Gérard Boudol
    On Strong Normalization in the Intersection Type Discipline. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:60-74 [Conf]
  33. Gérard Boudol
    Atomic actions. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1989, v:38, n:, pp:136-144 [Journal]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. Gérard Boudol, Ilaria Castellani
    Concurrency and Atomicity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:25-84 [Journal]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. Gérard Boudol
    Fair Cooperative Multithreading. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:272-286 [Conf]
  55. 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]

  56. lambda-calculus, multiplicities, and the pi-calculus. [Citation Graph (, )][DBLP]


  57. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. [Citation Graph (, )][DBLP]


  58. Typing Safe Deallocation. [Citation Graph (, )][DBLP]


  59. A Theory of Speculative Computation. [Citation Graph (, )][DBLP]


  60. A Deadlock-Free Semantics for Shared Memory Concurrency. [Citation Graph (, )][DBLP]


  61. Secure Information Flow as a Safety Property. [Citation Graph (, )][DBLP]


  62. Relaxed memory models: an operational approach. [Citation Graph (, )][DBLP]


  63. Reactive concurrent programming revisited [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002