Multimedia in the E-LOTOS Process Algebra

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.