Accéder directement au contenu

Benoît Caillaud

6
Documents
Affiliations actuelles
  • 419153
  • 419365
  • 105128
  • 491207

Publications

"claude-jard"
Image document

BDL: A Semantics Backbone for UML Dynamic Diagrams

 Benoit Caillaud , Jean-Pierre Talpin , Jean-Marc Jézéquel , Albert Benveniste , Claude Jard
[Research Report] RR-4003, INRIA. 2000
Rapport inria-00072641v1
Image document

An Effective Equivalence for Sets of Scenarios Represented by HMSCs

 Loïc Hélouët , Claude Jard , Benoit Caillaud
[Research Report] RR-3499, INRIA. 1998
Rapport inria-00073186v1
Image document

BDl, A Language of Distributed Reactive Objects

 Jean-Pierre Talpin , Albert Benveniste , Benoit Caillaud , Claude Jard , Zakaria Bouziane
[Research Report] RR-3353, INRIA. 1998
Rapport inria-00073336v1
Image document

Measuring Concurrency of Regular Distributed Computations

 Cyrille Bareau , Benoit Caillaud , Claude Jard , René Thoraval
[Research Report] RR-2394, INRIA. 1994
Rapport inria-00074281v1
Image document

Distributing Automata for Asynchronous Networks of Processors

 Benoit Caillaud , Paul Caspi , Alain Girault , Claude Jard
[Research Report] RR-2341, INRIA. 1994
Rapport inria-00074336v1
Image document

Correctness of automated distribution of sequential programs

 Cyrille Bareau , Benoit Caillaud , Claude Jard , René Thoraval
[Research Report] RR-1724, INRIA. 1992
Rapport inria-00076963v1