Un système de vérification de processus parallèles et communicants - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1987

Un système de vérification de processus parallèles et communicants

Abstract

Disponible dans les fichiers attachés à ce document

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RT-0083.pdf (1.16 Mo) Télécharger le fichier

Dates and versions

inria-00070081 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00070081 , version 1

Cite

Valérie Lecompte, Eric Madelaine, Didier Vergamini. Un système de vérification de processus parallèles et communicants. [Rapport de recherche] RT-0083, INRIA. 1987, pp.22. ⟨inria-00070081⟩
217 View
43 Download

Share

Gmail Facebook Twitter LinkedIn More