Relations d'implémentation et transformations autorisées d'une spécification LOTOS

Article (Scientific journals)

Leduc, Guy

1991 • In Réseaux et Informatique Répartie, 1, p. 59-86

Permalink
https://hdl.handle.net/2268/33777

RRIR91.pdf

Author postprint (434.41 kB)

All documents in ORBi are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Leduc, Guy ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques

Language :

French

Title :

Relations d'implémentation et transformations autorisées d'une spécification LOTOS

Publication date :

1991

Journal title :

Réseaux et Informatique Répartie

Volume :

Pages :

59-86

Available on ORBi :

since 24 December 2009

Number of views

48 (1 by ULiège)

Number of downloads

81 (1 by ULiège)