|
|
Proof of the Subject Reduction Property for a Pi-Calculus in COQ
Loïc Henry-Gréard
RR-3698, INRIA. 1999
Rapport
inria-00072970v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The SugarCubes Tool Box
Frédéric Boussinot
,
Jean-Ferdy Susini
RR-3247, INRIA. 1997
Rapport
inria-00073442v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
XEVE : an ESTEREL Verification Environment : (Version v1_3)
Amar Bouali
[Technical Report] RT-0214, INRIA. 1997, pp.23
Rapport
inria-00069957v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Lambda-calculi for (strict) parallel functions
Gérard Boudol
[Research Report] RR-1387, INRIA. 1991, pp.56
Rapport
inria-00075174v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The Steam Boiler Controller Problem in ESTEREL and its Verification by Means of Symbolic Analysis
Michel Bourdellès
RR-3285, INRIA. 1997
Rapport
inria-00073403v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Bisimulation for the Blue Calculus
Silvano Dal Zilio
RR-3664, INRIA. 1999
Rapport
inria-00073008v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Implicit Polymorphic Type System for the Blue Calculus
Silvano Dal Zilio
RR-3244, INRIA. 1997
Rapport
inria-00073445v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The FCTOOLS User Manual (Version 1.0)
Amar Bouali
,
Annie Ressouche
,
Valérie Roy
,
Robert de Simone
[Technical Report] RT-0191, INRIA. 1996, pp.34
Rapport
inria-00069980v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Reactive Scripts
Frédéric Boussinot
,
Laurent Hazard
RR-2868, INRIA. 1996
Rapport
inria-00073823v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The chemical abstract machine
Gérard Berry
,
Gérard Boudol
[Research Report] RR-1133, INRIA. 1989
Rapport
inria-00075426v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Higher-level synchronizing devices in Meije-SCCS
Robert de Simone
[Research Report] RR-0360, INRIA. 1985, pp.31
Rapport
inria-00076196v1
|
Partager
Gmail
Facebook
X
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
Rapport
inria-00075461v1
|
Partager
Gmail
Facebook
X
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
Rapport
inria-00076004v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Systèmes réactifs et programmation synchrone
Gérard Berry
,
Philippe Couronne
,
Georges Gonthier
[Rapport de recherche] RR-0524, INRIA. 1986
Rapport
inria-00076030v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Synchronous programming of reactive systems: an introduction to ESTEREL
Gérard Berry
,
Philippe Couronne
,
Georges Gonthier
[Research Report] RR-0647, INRIA. 1987
Rapport
inria-00075906v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
SugarCubes Implementation of Causality
Frédéric Boussinot
RR-3487, INRIA. 1998
Rapport
inria-00073201v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
An Interpretation of Typed Objects Into Typed $\pi$-calculus
Davide Sangiorgi
RR-3000, INRIA. 1996
Rapport
inria-00073696v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
An Asynchronous Model of Locality, Failure, and Process Mobility
Roberto M. Amadio
RR-3109, INRIA. 1997
Rapport
inria-00073581v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Reactive shared variables bases systems
Frédéric Boussinot
[Research Report] RR-1849, INRIA. 1993
Rapport
inria-00074823v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Reseaux de processus reactifs
Frédéric Boussinot
[Rapport de recherche] RR-1588, INRIA. 1992, pp.14
Rapport
inria-00074972v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The Lambda-calculus with multiplicities
Gérard Boudol
[Research Report] RR-2025, INRIA. 1993
Rapport
inria-00074646v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Algebre de processus et synchronisation
Didier Austry
,
Gérard Boudol
[Rapport de recherche] RR-0187, INRIA. 1983
Rapport
inria-00076371v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Graphical VERSUS logical specifications
Gérard Boudol
,
Kim Guldstrand Larsen
[Research Report] RR-1104, INRIA. 1989
Rapport
inria-00075455v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Verification of distributed systems : an experiment
Didier Vergamini
[Research Report] RR-0934, INRIA. 1988
Rapport
inria-00075624v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
ECRINS un laboratoire de preuve pour les calculs de processus
Eric Madelaine
,
Robert de Simone
[Rapport de recherche] RR-0672, INRIA. 1987
Rapport
inria-00075881v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Towards a lambda-calculus for concurrent and communicating systems
Gérard Boudol
[Research Report] RR-0885, INRIA. 1988, pp.11
Rapport
inria-00075669v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
pi-calculus, internal mobility, and agent-passing calculi
Davide Sangiorgi
RR-2539, INRIA. 1995
Rapport
inria-00074139v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Parallel product of event structures
Ilaria Castellani
,
Guo Qiang Zhang
[Research Report] RR-1078, INRIA. 1989
Rapport
inria-00075481v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Incremental development of an HDLC protocol in Esterel
Gérard Berry
,
Georges Gonthier
[Research Report] RR-1031, INRIA. 1989
Rapport
inria-00075527v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Observing localities
Gérard Boudol
,
Ilaria Castellani
,
Matthew Hennessy
,
Astrid Kiehn
[Research Report] RR-1485, INRIA. 1991
Rapport
inria-00075077v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|