Reference : Multimedia in the E-LOTOS Process Algebra
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/23905
Multimedia in the E-LOTOS Process Algebra
English
Leduc, Guy mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
2001
Formal Methods for Distributed Processing - A Survey of Object Oriented Approaches
Cambridge University Press
357-372
No
United Kingdom
[en] We illustrate how the ISO E-LOTOS language can be used to describe an ODP multicast multimedia binding object of some complexity. The timing features of the language are briefly recalled, and play a major role in the description of the example, but many other features of E-LOTOS are also very useful to obtain a more modular and more readable specification. Users familiar with LOTOS will also learn how some E-LOTOS features can advantageously replace the traditional LOTOS ones.
Researchers
http://hdl.handle.net/2268/23905

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP01-06.pdfAuthor preprint183.99 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.