Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach - Archive ouverte HAL
Communication Dans Un Congrès Année : 2000

Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach

Yves Dumond
  • Fonction : Auteur
  • PersonId : 891702
Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance
Didier Girardet
  • Fonction : Auteur
  • PersonId : 969575
Flavio Oquendo
ArchWare

Domaines

Informatique [cs]

Yves Dumond  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01191618

Soumis le : mercredi 2 septembre 2015-11:21:47

Dernière modification le : mardi 27 août 2024-12:46:05

Fichier non déposé

Dates et versions

hal-01191618 , version 1 (02-09-2015)

Identifiants

  • HAL Id : hal-01191618 , version 1

Citer

Yves Dumond, Didier Girardet, Flavio Oquendo. Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach. 13th International Conference on Software and Systems Engineering and their Applications, Dec 2000, Paris, France. pp.1-9. ⟨hal-01191618⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE EC-PARIS UNIV-RENNES1 UGA CNRS INRIA INSA-RENNES IRISA IRISA-D4 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE LISTIC UR1-MATH-NUM
233 Consultations
0 Téléchargements

Partager

More