| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gérard Boudol |
Typing termination in a higher-order concurrent imperative language.  |
Inf. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Gustavo Petri |
A Theory of Speculative Computation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Almeida Matos, Gérard Boudol |
On declassification and the non-disclosure policy. |
Journal of Computer Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
A Deadlock-Free Semantics for Shared Memory Concurrency. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Gustavo Petri |
Relaxed memory models: an operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, memory models |
| 1 | Gérard Boudol |
On strong normalization and type inference in the intersection type discipline. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Secure Information Flow as a Safety Property. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Typing Safe Deallocation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Almeida Matos, Gérard Boudol, Ilaria Castellani |
Typing noninterference for reactive programs. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Fair Cooperative Multithreading. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani |
Reactive Concurrent Programming Revisited. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Shared-Variable Concurrency: A Proposal. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Pascal Zimmer |
On Type Inference in the Intersection Type Discipline. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot |
Reactive concurrent programming revisited |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gérard Boudol |
On Typing Information Flow. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Almeida Matos, Gérard Boudol |
On Declassification and the Non-Disclosure Policy. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
The recursive record semantics of objects revisited. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
A Reactive Programming Model for Global Computing. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
A Generic Membrane Model (Note). |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
ULM: A Core Programming Model for Global Computing: (Extended Abstract). |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine |
The receptive distributed pi-calculus. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
resource access control, distribution, ?-Calculus, receptivity |
| 1 | Gérard Boudol |
On Strong Normalization in the Intersection Type Discipline. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
On Programming Models for Mobility. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani |
Noninterference for concurrent programs and thread systems. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine |
On message deliverability and non-uniform receptivity. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gérard Boudol, Pascal Zimmer |
Recursion in the call-by-value lambda-calculus. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani |
Noninterference for Concurrent Programs. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
The Recursive Record Semantics of Objects Revisited. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
On the semantics of the call-by-name CPS transform. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Cosimo Laneve |
lambda-calculus, multiplicities, and the pi-calculus. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli |
A semantics for lambda calculi with resources. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gérard Boudol, Silvano Dal-Zilio |
An Interpretation of Extensible Objects. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine |
The Receptive Distributed pi-Calculus (Extended Abstract). |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Calculi for concurrent processes. |
J. Comput. Sci. Technol. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
The p-Calculus in Direct Style. |
Higher-Order and Symbolic Computation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
The Pi-calculus in Direct Style. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). |
ASIAN |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Cosimo Laneve |
The Discriminating Power of Multiplicities in the Lambda-Calculus. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Carolina Lavatelli |
Full Abstraction for Lambda Calculus with Resources and Convergence Testing. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
intersection type systems, calculus, full abstraction |
| 1 | Gérard Boudol, Cosimo Laneve |
Termination, deadlock and divergence in the lambda-calculus with multiplicities. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
A Theory of Processes with Localities. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Lambda-Calculi for (Strict) Parallel Functions |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani |
Flow Models of Distributed Computations: Three Equivalent Semantics for CCS |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
Observing Localities. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
The Lambda-Calculus with Multiplicities (Abstract). |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Some Chemical Abstract Machines. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Berry, Gérard Boudol |
The Chemical Abstract Machine. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Kim Guldstrand Larsen |
Graphical Versus Logical Specifications. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
A Theory of Process with Localities (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
Observing Localities (Extended Abstract). |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Berry, Gérard Boudol |
The Chemical Abstract Machine. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
CCS |
| 1 | Gérard Boudol, Kim Guldstrand Larsen |
Graphical versus Logical Specifications. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Flow Event Structures and Flow Nets. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani |
Three Equivalent Semantics for CCS. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Atomic actions. |
Bulletin of the EATCS |
1989 |
DBLP BibTeX RDF |
|
| 1 | Gérard Boudol |
Towards a Lambda-Calculus for Concurrent and Communicating Systems. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani |
Concurrency and Atomicity. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Ilaria Castellani |
Permutation of transitions: An event structure semantics for CCS and SCCS. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
pomset-labelled transition systems, process algebras, event structures |
| 1 | Gérard Boudol, Ilaria Castellani |
On the Semantics of Concurrency: Partial Orders and Transition Systems. |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Gérard Roucairol, Robert de Simone |
Petri nets and algebraic calculi of processes. |
Applications and Theory in Petri Nets |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Gérard Roucairol, Robert de Simone |
Petri Nets and Algebraic Calculi of Processes. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Austry, Gérard Boudol |
Algèbre de Processus et Synchronisation. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Laurent Kott |
Recursion Induction Principle Revisited. |
Theor. Comput. Sci. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
Une Semantique Pour Les Arbres Non Deterministes. |
CAAP |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
A new Recursion Induction Principle. |
Theoretical Computer Science |
1979 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")