On Distributed Program Specification and Synthesis in Architecture with Cycles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

On Distributed Program Specification and Synthesis in Architecture with Cycles

Julien Bernet
  • Fonction : Auteur
Laboratoire Bordelais de Recherche en Informatique
David Janin
Laboratoire Bordelais de Recherche en Informatique
CV

Résumé

TO APPEAR

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
full.pdf (245.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Sylvain Salvati  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00306412

Soumis le : vendredi 25 juillet 2008-16:37:40

Dernière modification le : vendredi 24 mars 2023-14:52:50

Archivage à long terme le : vendredi 25 novembre 2016-23:25:19

Télécharger pour visualiser

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
71 Consultations
28 Téléchargements

Partager

Gmail Facebook X LinkedIn More