ULg Research Unit in Networking RUN

Multimedia in the E-LOTOS Process Algebra

G. Leduc1

1 Research unit in Networking, EECS department, University of Liège, Belgium



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.


binding object, E-LOTOS, multicast, multimedia, ODP

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: RUN | Montefiore | ULg
© 2000-2015.