Acronyme : «acronyme»

Réalisations du responsable dans le domaine de l’UE

• 
  MobileScope : A Programming Language with Objective Mobility. Frederic Peschanski, Takashi Masuyama, Yoshihiro Ooyama and Akinori Yonezawa. International Journal on Wireless and Mobile Computing, InderScience, à paraître, 2006.
  
• 
  Mobile Agents in Interaction Spaces, Foundations of Coordination Languages and Software Architectures, ENTCS, Elsevier, 2005.
  
• 
  On Linear Time and Congruence in Channel-passing Calculi. Frederic Peschanski. In Communicating Process Architectures, pp. 39--53, IOS Press. 2004.
  
• 
  Les Espaces d'Interaction : vers une Geometrie des Systemes d'Agents Mobiles. F. Peschanski, R. Affeldt et J-P. Briot. Langages et Modèles Objet 2004. RSTI - TSI L'Objet, Mars 2004.
  
• 
  When Concurrent Control Meets Functional Requirements, or Z + Petri Nets. F. Peschanski and D. Julien. ZB 2003. LNCS 2651. Springer-Verlag. June 2003.
  

Acronyme : sct	Spécialité : STL	3 ECTS	Niveau : 500	Semestre : S3
Titre : Spécification et certification en théorie des types
Responsable : Thérèse HARDIN