Précédent : Autre Remonter : PROJET MEIJE Suivant : Abstract

Références

Livres

1

G. BERRY, The constructive semantics of Esterel, 1996, draft at http://www.inria.fr/meije/esterel

2

F. BOUSSINOT, La programmation réactive, Collection Technique et Scientifique des Télécommunications, Masson, 1996.

Articles

3

A. ARNOLD, I. CASTELLANI, ``An algebraic characterization of observational equivalence'', Theoretical Computer Science 156, 1996, p. 289-299.

4

F. BOUSSINOT, R. DE SIMONE, ``The SL Synchronous Language'', IEEE Transactions on Software Engineering 22, 4, avril 1996, p. 256-266.

5

F. BOUSSINOT, G. DOUMENC, J.-B. STEFANI, ``Reactive Objects'', Annales des Télécommunications 51 (9-10), 1996, p. 459-473.

6

I. CASTELLANI, ``Observing distribution in processes: static and dynamic localities'', Int. Journal of Foundations of Computer Science 6(4), 1995, p. 353-393.

Communications à congrès

7

R. AMADIO, I. CASTELLANI, D. SANGIORGI, ``On bisimulations for the asynchronous -calculus'', in: Proceedings CONCUR 96, LNCS, 1119, p. 147-162, 1996.

8

R. AMADIO, M. DAM, ``Toward a modal theory of types for the -calculus'', in: Formal Techniques in Real Time and Fault Tolerant Systems, LNCS, 1996. Extended version available as SICS-RR 95-18.

9

A. BOUALI, J.-P. MARMORAT, R. DE SIMONE, H. TOMA, ``Verifying Synchronous Reactive Systems programmed in ESTEREL'', in: Proceedings FTRTFT'96, LNCS, 1135, p. 463-466, 1996.

10

A. BOUALI, A. RESSOUCHE, V. ROY, R. DE SIMONE, ``Fc2Tools: a toolset for verification of concurrent systems'', in: Proceedings Workshop TACAS'96, 1996.

11

A. BOUALI, A. RESSOUCHE, V. ROY, R. DE SIMONE, ``The Fc2Tools set (tool paper)'', in: Proc. CAV'96, LNCS, 1102, 1996.

12

A. BOUALI, A. RESSOUCHE, V. ROY, R. DE SIMONE, ``Presenting Fc2Tools (presentation paper)'', in: Proc. AMAST'96, LNCS, 1101, 1996.

13

G. BOUDOL, C. LAVATELLI, ``Full abstraction for a lambda-calculus with resources and convergence testing'', in: Proc. CAAP'96, LNCS, 1059, 1996.

14

F. BOUSSINOT, L. HAZARD, ``Reactive Scripts'', in: Proc. RTCSA'96, Seoul, 1996.

15

R. DE SIMONE, M. L. DE SOUZA, ``Les automates d'ordre partiel et les équivalences comportementales'', in: Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, p. 105-112, 1996.

16

M. FIORE, E. MOGGI, D. SANGIORGI, ``A fully abstract model for the -calculus'', in: LICS'96, p. 43-54, 1996.

17

M. PISTORE, D. SANGIORGI, ``A Partition Refinement Algorithm for the -calculus'', in: Proc. CAV'96, LNCS, 1102, Springer-Verlag, p. 38-49, 1996.

18

E. SENTOVICH, G. BERRY, H. TOMA, ``Latch Optimization in Circuits Generated from High-Level Descriptions'', in: Proc. ICCAD'96, San Diego, 1996.

19

T. SHIPLE, G. BERRY, H. TOUATI, ``Constructive Analysis of Cyclic Circuits'', in: Proc. IDTC'96, Paris, 1996.

Rapports de recherche

20

M. BOREALE, D. SANGIORGI, ``Some congruence properties for -calculus bisimilarities'', rapport de recherche n°2870, INRIA, 1996.

21

F. BOUSSINOT, L. HAZARD, ``Reactive Scripts'', Research Report n°RR-2868, Inria, avril 1996.

22

F. BOUSSINOT, ``Icobj Programming'', Research Report n°RR-3028, Inria, 1996.

23

B. PIERCE, D. SANGIORGI, ``Behavioral equivalence in the -calculus'', rapport de recherche, INRIA, 1996.

24

D. SANGIORGI, ``An interpretation of typed objects into typed -calculus'', rapport de recherche n°3000, INRIA, 1996.