Gérard Boudol - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 67 from 67

2015

Jthread, a deadlock-free mutex libraryJohan Grande, Gérard Boudol, Manuel Serrano. ppdp 2015: 149-160 [doi]

2012

Reasoning about Web Applications: An Operational Semantics for HOPGérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano. TOPLAS, 34(2):10, 2012. [doi]

2010

Typing termination in a higher-order concurrent imperative languageGérard Boudol. iandc, 208(6):716-736, 2010. [doi]

2009

Relaxed memory models: an operational approachGérard Boudol, Gustavo Petri. POPL 2009: 392-403 [doi]

On declassification and the non-disclosure policyAna Almeida Matos, Gérard Boudol. jcs, 17(5):549-597, 2009. [doi]

2008

2007

Fair Cooperative MultithreadingGérard Boudol. concur 2007: 272-286 [doi]

Typing noninterference for reactive programsAna Almeida Matos, Gérard Boudol, Ilaria Castellani. jlp, 72(2):124-156, 2007. [doi]

2006

Reactive Concurrent Programming RevisitedRoberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani. ENTCS, 162:49-60, 2006. [doi]

Shared-Variable Concurrency: A ProposalGérard Boudol. fsttcs 2006: 1-3 [doi]

2005

On Typing Information FlowGérard Boudol. ictac 2005: 366-380 [doi]

On Type Inference in the Intersection Type DisciplineGérard Boudol, Pascal Zimmer. ENTCS, 136:23-42, 2005. [doi]

On Declassification and the Non-Disclosure PolicyAna Almeida Matos, Gérard Boudol. csfw 2005: 226-240 [doi]

2004

A Generic Membrane Model (Note)Gérard Boudol. gc 2005: 208-222 [doi]

A Reactive Programming Model for Global ComputingGérard Boudol. coordination 2004: 1 [doi]

ULM: A Core Programming Model for Global Computing: (Extended Abstract)Gérard Boudol. ESOP 2004: 234-248 [doi]

The recursive record semantics of objects revisitedGérard Boudol. JFP, 14(3):263-315, 2004. [doi]

2003

The receptive distributed pi-calculusRoberto M. Amadio, Gérard Boudol, Cédric Lhoussaine. TOPLAS, 25(5):549-577, 2003. [doi]

On Programming Models for MobilityGérard Boudol. ictcs 2003: 22 [doi]

On Strong Normalization in the Intersection Type DisciplineGérard Boudol. tlca 2003: 60-74 [doi]

2002

On message deliverability and non-uniform receptivityRoberto M. Amadio, Gérard Boudol, Cédric Lhoussaine. FUIN, 53(2):105-129, 2002. [doi]

Noninterference for concurrent programs and thread systemsGérard Boudol, Ilaria Castellani. TCS, 281(1-2):109-130, 2002. [doi]

Recursion in the call-by-value lambda-calculusGérard Boudol, Pascal Zimmer. fics 2002: 61-66

2001

The Recursive Record Semantics of Objects RevisitedGérard Boudol. ESOP 2001: 269-283 [doi]

Noninterference for Concurrent ProgramsGérard Boudol, Ilaria Castellani. icalp 2001: 382-395 [doi]

2000

On the semantics of the call-by-name CPS transformGérard Boudol. TCS, 234(1-2):309-321, 2000. [doi]

lambda-calculus, multiplicities, and the pi-calculusGérard Boudol, Cosimo Laneve. BIRTHDAY 2000: 659-690

1999

The Receptive Distributed pi-Calculus (Extended Abstract)Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine. fsttcs 1999: 304-315 [doi]

A semantics for lambda calculi with resourcesGérard Boudol, Pierre-Louis Curien, Carolina Lavatelli. mscs, 9(4):437-482, 1999.

An Interpretation of Extensible ObjectsGérard Boudol, Silvano Dal-Zilio. fct 1999: 148-160 [doi]

1998

The p-Calculus in Direct StyleGérard Boudol. lisp, 11(2):177-208, 1998.

Calculi for concurrent processesGérard Boudol. jcst, 13(6):509, 1998. [doi]

1997

The Pi-calculus in Direct StyleGérard Boudol. POPL 1997: 228-241 [doi]

Typing the Use of Resources in a Concurrent Calculus (Extended Abstract)Gérard Boudol. asian 1997: 239-253

1996

Full Abstraction for Lambda Calculus with Resources and Convergence TestingGérard Boudol, Carolina Lavatelli. caap 1996: 302-316

The Discriminating Power of Multiplicities in the Lambda-CalculusGérard Boudol, Cosimo Laneve. iandc, 126(1):83-102, 1996.

1995

Termination, deadlock and divergence in the lambda-calculus with multiplicitiesGérard Boudol, Cosimo Laneve. ENTCS, 1:32-45, 1995. [doi]

1994

Lambda-Calculi for (Strict) Parallel FunctionsGérard Boudol. iandc, 108(1):51-127, January 1994.

Flow Models of Distributed Computations: Three Equivalent Semantics for CCSGérard Boudol, Ilaria Castellani. iandc, 114(2):247-314, November 1994.

A Theory of Processes with LocalitiesGérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn. fac, 6(2):165-200, 1994.

1993

The Lambda-Calculus with Multiplicities (Abstract)Gérard Boudol. concur 1993: 1-6

Some Chemical Abstract MachinesGérard Boudol. rex 1994: 92-123

Observing LocalitiesGérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn. TCS, 114(1):31-61, 1993.

1992

The Chemical Abstract MachineGérard Berry, Gérard Boudol. TCS, 96(1):217-248, 1992.

A Theory of Process with Localities (Extended Abstract)Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn. concur 1992: 108-122

Graphical Versus Logical SpecificationsGérard Boudol, Kim Guldstrand Larsen. TCS, 106(1):3-20, 1992.

1991

Observing Localities (Extended Abstract)Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn. mfcs 1991: 93-102

1990

The Chemical Abstract MachineGérard Berry, Gérard Boudol. POPL 1990: 81-94

Flow Event Structures and Flow NetsGérard Boudol. litp 1990: 62-95

Three Equivalent Semantics for CCSGérard Boudol, Ilaria Castellani. litp 1990: 96-141

Graphical versus Logical SpecificationsGérard Boudol, Kim Guldstrand Larsen. caap 1990: 57-71

1989

Process Calculi, from Theory to Practice: Verification ToolsGérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini. avmfss 1990: 1-10

Towards a Lambda-Calculus for Concurrent and Communicating SystemsGérard Boudol. tapsoft 1989: 149-161

Atomic actionsGérard Boudol. eatcs, 38:136-144, 1989.

1988

Concurrency and AtomicityGérard Boudol, Ilaria Castellani. TCS, 59:25-84, 1988.

Permutation of transitions: An event structure semantics for CCS and SCCSGérard Boudol, Ilaria Castellani. rex 1989: 411-427

1987

On the Semantics of Concurrency: Partial Orders and Transition SystemsGérard Boudol, Ilaria Castellani. tapsoft 1987: 123-137

1985

Petri nets and algebraic calculi of processesGérard Boudol, Gérard Roucairol, Robert de Simone. apn 1986: 41-58

Petri Nets and Algebraic Calculi of ProcessesGérard Boudol, Gérard Roucairol, Robert de Simone. STACS 1985: 59-70

1984

Algèbre de Processus et SynchronisationDidier Austry, Gérard Boudol. TCS, 30:91-131, 1984.

Notes on Algebraic Calculi of ProcessesGérard Boudol. nato 1985: 261-303 [doi]

1983

Recursion Induction Principle RevisitedGérard Boudol, Laurent Kott. TCS, 22:135-173, 1983.

1981

Une Semantique Pour Les Arbres Non DeterministesGérard Boudol. caap 1981: 147-161

1979

A new Recursion Induction PrincipleGérard Boudol. tcs 1979: 79-90

Sign in or sign up to see more results.

runs on WebDSL