Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

37 Results
Author: personID (integer) : 831541
Image document

Flow models of distributed computations : event structures and nets

Gérard Boudol , Ilaria Castellani
[Research Report] RR-1482, INRIA. 1991
Reports inria-00075080v1
Image document

A lambda-calculus for parallel functions

Gérard Boudol
[Research Report] RR-1231, INRIA. 1990, pp.48
Reports inria-00075327v1
Image document

Atomic actions

Gérard Boudol
[Research Report] RR-1026, INRIA. 1989, pp.8
Reports inria-00075532v1
Image document

Graphical VERSUS logical specifications

Gérard Boudol , Kim Guldstrand Larsen
[Research Report] RR-1104, INRIA. 1989
Reports inria-00075455v1
Image document

Towards a lambda-calculus for concurrent and communicating systems

Gérard Boudol
[Research Report] RR-0885, INRIA. 1988, pp.11
Reports inria-00075669v1
Image document

The Lambda-calculus with multiplicities

Gérard Boudol
[Research Report] RR-2025, INRIA. 1993
Reports inria-00074646v1
Image document

Algebre de processus et synchronisation

Didier Austry , Gérard Boudol
[Rapport de recherche] RR-0187, INRIA. 1983
Reports inria-00076371v1
Image document

The Recursive Record Semantics of Objects Revisited

Gérard Boudol
RR-4199, INRIA. 2001
Reports inria-00072423v1
Image document

Reactive concurrent programming revisited

Roberto M. Amadio , Gérard Boudol , Ilaria Castellani , Frédéric Boussinot
Express, Sep 2006, France. pp.49-60
Conference papers hal-00015838v1
Image document

On the semantics of concurrency :partial orders and transition systems

Gérard Boudol , Ilaria Castellani
[Research Report] RR-0550, INRIA. 1986, pp.15
Reports inria-00076004v1
Image document

Analyse des langages et modèles de la mobilité

Gérard Boudol , Florence Germain , Marc Lacoste
[Rapport de recherche] RR-3930, INRIA. 2000, pp.73
Reports inria-00072722v1
Image document

Noninterference for Concurrent Programs and Thread Systems

Gérard Boudol , Ilaria Castellani
RR-4254, INRIA. 2001
Reports inria-00072334v1
Image document

Relaxed memory models: an operational approach

Gérard Boudol , Gustavo Petri
POPL'09, Jan 2009, Savannah, GA,, United States
Conference papers inria-00420352v1
Image document

The chemical abstract machine

Gérard Berry , Gérard Boudol
[Research Report] RR-1133, INRIA. 1989
Reports inria-00075426v1
Image document

Process calculi, from theory to practice : verification tools

Gérard Boudol , Valérie Roy , Robert de Simone , Didier Vergamini
[Research Report] RR-1098, INRIA. 1989
Reports inria-00075461v1
Image document

Recursion induction principle revisited

Gérard Boudol , Laurent Kott
[Research Report] RR-0115, INRIA. 1982
Reports inria-00076445v1
Image document

Lambda-calculi for (strict) parallel functions

Gérard Boudol
[Research Report] RR-1387, INRIA. 1991, pp.56
Reports inria-00075174v1
Image document

Typing Noninterference for Reactive Programs

Ana Almeida Matos , Gérard Boudol , Ilaria Castellani
[Research Report] RR-5594, INRIA. 2006, pp.38
Reports inria-00070413v1
Image document

Safe Recursive Boxes

Gérard Boudol
RR-5115, INRIA. 2004
Reports inria-00071467v1
Image document

Petri nets and algebraic calculi of processes

Gérard Boudol , G. Roucairol , Robert de Simone
[Research Report] RR-0292, INRIA. 1984
Reports inria-00076266v1
Image document

Petri nets and algebraic calculi of processes

Gérard Boudol , Gérard Roucairol , Robert de Simone
[Research Report] RR-0410, INRIA. 1985
Reports inria-00076146v1
Image document

Observing localities

Gérard Boudol , Ilaria Castellani , Matthew Hennessy , Astrid Kiehn
[Research Report] RR-1485, INRIA. 1991
Reports inria-00075077v1
Image document

Permutation of transitions : an event structure semantics for CCS

Gérard Boudol , Ilaria Castellani
[Research Report] RR-0798, INRIA. 1988
Reports inria-00075753v1
Image document

Communication is an abstraction

Gérard Boudol
[Research Report] RR-0636, INRIA. 1987, pp.18
Reports inria-00075917v1
Image document

The Receptive Distributed $\pi$-Calculus

Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine
[Research Report] RR-4080, INRIA. 2000
Reports inria-00072553v1
Image document

Calculs de processus et verification

Gérard Boudol
[Rapport de recherche] RR-0424, INRIA. 1985, pp.17
Reports inria-00076132v1
Image document

A non-interleaving semantics for CCS based on proved transitions

Gérard Boudol , Ilaria Castellani
[Research Report] RR-0919, INRIA. 1988
Reports inria-00075636v1
Image document

Notes on algebraic calculi of processes

Gérard Boudol
[Research Report] RR-0395, INRIA. 1985, pp.42
Reports inria-00076161v1
Image document

Flow models of distributed computations : three equivalent semantics for CCS

Gérard Boudol , Ilaria Castellani
[Research Report] RR-1484, INRIA. 1991
Reports inria-00075078v1
Image document

The discriminating power of multiplicities in the $\lambda$-calculus

Gérard Boudol , Laneve Cosimo
[Research Report] RR-2441, INRIA. 1994
Reports inria-00074234v1