Reasoning about distributed systems: WYSIWYG - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Reasoning about distributed systems: WYSIWYG

C. Aiswarya
  • Fonction : Auteur
  • PersonId : 900517
Uppsala University
Paul Gastin
  • Fonction : Auteur
  • PersonId : 838132
Modeling and Exploitation of Interaction and Concurrency
Laboratoire Spécification et Vérification [Cachan]

Domaines

Théorie et langage formel [cs.FL]

Benedikt Bollig  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01091168

Soumis le : jeudi 4 décembre 2014-17:34:41

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

Fichier non déposé

Dates et versions

hal-01091168 , version 1 (04-12-2014)

Identifiants

  • HAL Id : hal-01091168 , version 1

Citer

C. Aiswarya, Paul Gastin. Reasoning about distributed systems: WYSIWYG. 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. ⟨hal-01091168⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 ENS-PARIS-SACLAY
117 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More