|
|
Flow models of distributed computations : event structures and nets
Gérard Boudol
,
Ilaria Castellani
[Research Report] RR-1482, INRIA. 1991
Reports
inria-00075080v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A lambda-calculus for parallel functions
Gérard Boudol
[Research Report] RR-1231, INRIA. 1990, pp.48
Reports
inria-00075327v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Atomic actions
Gérard Boudol
[Research Report] RR-1026, INRIA. 1989, pp.8
Reports
inria-00075532v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Graphical VERSUS logical specifications
Gérard Boudol
,
Kim Guldstrand Larsen
[Research Report] RR-1104, INRIA. 1989
Reports
inria-00075455v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Towards a lambda-calculus for concurrent and communicating systems
Gérard Boudol
[Research Report] RR-0885, INRIA. 1988, pp.11
Reports
inria-00075669v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Lambda-calculus with multiplicities
Gérard Boudol
[Research Report] RR-2025, INRIA. 1993
Reports
inria-00074646v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Algebre de processus et synchronisation
Didier Austry
,
Gérard Boudol
[Rapport de recherche] RR-0187, INRIA. 1983
Reports
inria-00076371v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Recursive Record Semantics of Objects Revisited
Gérard Boudol
RR-4199, INRIA. 2001
Reports
inria-00072423v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Noninterference for Concurrent Programs and Thread Systems
Gérard Boudol
,
Ilaria Castellani
RR-4254, INRIA. 2001
Reports
inria-00072334v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Relaxed memory models: an operational approach
Gérard Boudol
,
Gustavo Petri
POPL'09, Jan 2009, Savannah, GA,, United States
Conference papers
inria-00420352v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The chemical abstract machine
Gérard Berry
,
Gérard Boudol
[Research Report] RR-1133, INRIA. 1989
Reports
inria-00075426v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Recursion induction principle revisited
Gérard Boudol
,
Laurent Kott
[Research Report] RR-0115, INRIA. 1982
Reports
inria-00076445v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Lambda-calculi for (strict) parallel functions
Gérard Boudol
[Research Report] RR-1387, INRIA. 1991, pp.56
Reports
inria-00075174v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Typing Noninterference for Reactive Programs
Ana Almeida Matos
,
Gérard Boudol
,
Ilaria Castellani
[Research Report] RR-5594, INRIA. 2006, pp.38
Reports
inria-00070413v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Safe Recursive Boxes
Gérard Boudol
RR-5115, INRIA. 2004
Reports
inria-00071467v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Petri nets and algebraic calculi of processes
Gérard Boudol
,
G. Roucairol
,
Robert de Simone
[Research Report] RR-0292, INRIA. 1984
Reports
inria-00076266v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Observing localities
Gérard Boudol
,
Ilaria Castellani
,
Matthew Hennessy
,
Astrid Kiehn
[Research Report] RR-1485, INRIA. 1991
Reports
inria-00075077v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Permutation of transitions : an event structure semantics for CCS
Gérard Boudol
,
Ilaria Castellani
[Research Report] RR-0798, INRIA. 1988
Reports
inria-00075753v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Communication is an abstraction
Gérard Boudol
[Research Report] RR-0636, INRIA. 1987, pp.18
Reports
inria-00075917v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Receptive Distributed $\pi$-Calculus
Roberto M. Amadio
,
Gérard Boudol
,
Cédric Lhoussaine
[Research Report] RR-4080, INRIA. 2000
Reports
inria-00072553v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Calculs de processus et verification
Gérard Boudol
[Rapport de recherche] RR-0424, INRIA. 1985, pp.17
Reports
inria-00076132v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A non-interleaving semantics for CCS based on proved transitions
Gérard Boudol
,
Ilaria Castellani
[Research Report] RR-0919, INRIA. 1988
Reports
inria-00075636v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Notes on algebraic calculi of processes
Gérard Boudol
[Research Report] RR-0395, INRIA. 1985, pp.42
Reports
inria-00076161v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Flow models of distributed computations : three equivalent semantics for CCS
Gérard Boudol
,
Ilaria Castellani
[Research Report] RR-1484, INRIA. 1991
Reports
inria-00075078v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The discriminating power of multiplicities in the $\lambda$-calculus
Gérard Boudol
,
Laneve Cosimo
[Research Report] RR-2441, INRIA. 1994
Reports
inria-00074234v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|