Collaborations internationales

-

tripartite avec USC, Los Angeles (J.-L. Gaudiot) et l'Université d'Adelaïde, Australie, sur la définition formelle de la sémantique des langages parallèles à objets (Eiffel//) et fonctionnels (Sisal).

-

avec le département de mathématiques de AT&TBell Laboratories lors de la coopération scientifique de Bruno Gaujal (16 mois). Lors de cette période, une méthode nouvelle de simulation massivement parallèle, la relaxation synchronisée a été utilisée pour concevoir un programme de simulation réaliste du réseau téléphonique longue distance de AT&T[]. Cette collaboration se poursuit. Albert Greenberg de AT&TBell Laboratories a été rapporteur de la thèse de Bruno Gaujal.

-

avec le département d'Industrial Engineering de l'université Rutgers, N.J., USA. Des modèles réseaux de Petri de systèmes de robots partageant des ressources on été étudiés [].

-

avec le Canada, Université Simon Fraser de Vancouver dans le cadre d'un PICS (plusieurs articles en commun, visite en particulier en Post-Doc de M. Syska), et Carleton Univ. (visite de F. Ergincan et articles en commun).

-

action franco israëlienne avec le Weizmann Institute ( D. Peleg et E. Upfal), sur les problèmes de communication.

D'autres collaborations seront vraisemblablement mises en place dans le futur, en particulier au niveau européen, le projet tenant à conforter son rayonnement international.