Other (Reports)
A formal definition of time in LOTOS
Leduc, Guy; Léonard, Luc
1994
 

Files


Full Text
RD-ELOTOS.AnnexG.time.ETLOTOS.pdf
Publisher postprint (275.89 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



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
Léonard, Luc;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Language :
English
Title :
A formal definition of time in LOTOS
Publication date :
1994
Publisher :
ISO/IEC
Collection name :
Revised draft on enhancements to LOTOS
Available on ORBi :
since 15 February 2010

Statistics


Number of views
79 (4 by ULiège)
Number of downloads
250 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi