Contracts for Mobile Processes - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Contracts for Mobile Processes

Fichier non déposé

Dates et versions

hal-00434461 , version 1 (23-11-2009)

Identifiants

  • HAL Id : hal-00434461 , version 1

Citer

Giuseppe Castagna, Luca Padovani. Contracts for Mobile Processes. CONCUR 2009, 20th. International Conference on Concurrency Theory, 2009, Italy. n. 5710, LNCS, pag. 211-228. ⟨hal-00434461⟩
19 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More