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
