Concurrency and Data Types: a Specification Method. An Example with LOTOS - Archive ouverte HAL
Chapitre D'ouvrage Année : 1999

Concurrency and Data Types: a Specification Method. An Example with LOTOS

Pascal Poizat (1) , Christine Choppy (1) , Jean-Claude Royer (1)
Pascal Poizat
IRIN
CV
Christine Choppy
  • Fonction : Auteur
IRIN
Jean-Claude Royer
IRIN
CV

Domaines

Génie logiciel [cs.SE]

Jean-Claude Royer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01135605

Soumis le : mercredi 25 mars 2015-15:26:24

Dernière modification le : mercredi 27 avril 2022-03:47:10

Fichier non déposé

Dates et versions

hal-01135605 , version 1 (25-03-2015)

Identifiants

  • HAL Id : hal-01135605 , version 1

Citer

Pascal Poizat, Christine Choppy, Jean-Claude Royer. Concurrency and Data Types: a Specification Method. An Example with LOTOS. Fiadero, J. Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th Workshop on Algebraic Development Techniques, WADT'98, 1589, pp.276-291, 1999, LNCS, ISBN 3-540-66246-4. ⟨hal-01135605⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES NANTES-UNIVERSITE
44 Consultations
0 Téléchargements

Partager

More