Reference : Multimedia in the E-LOTOS Process Algebra
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
Multimedia in the E-LOTOS Process Algebra
Leduc, Guy mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Formal Methods for Distributed Processing - A Survey of Object Oriented Approaches
Cambridge University Press
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.

File(s) associated to this reference

Fulltext file(s):

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.