Reference : A formal definition of time in LOTOS
Reports : Other
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/2429
A formal definition of time in LOTOS
English
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
1994
ISO/IEC
Revised draft on enhancements to LOTOS
Researchers
http://hdl.handle.net/2268/2429

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RD-ELOTOS.AnnexG.time.ETLOTOS.pdfPublisher postprint269.43 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.