Communication Dans Un Congrès Année : 2006

On Distributed Program Specification and Synthesis in Architecture with Cycles

Résumé

TO APPEAR

Domaines

Fichier principal
Vignette du fichier
full.pdf (245.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-00306412 , version 1 (25-07-2008)

Licence

Identifiants

  • HAL Id : hal-00306412 , version 1

Citer

Julien Bernet, David Janin. On Distributed Program Specification and Synthesis in Architecture with Cycles. Internationnal Conference on Formal Methods for Networked and Distributed Systems (FORTE), Sep 2006, France. pp.175-190. ⟨hal-00306412⟩
129 Consultations
142 Téléchargements

Partager

  • More