Abstract
ULg Research Unit in Networking RUN
Abstract


Multimedia in the E-LOTOS Process Algebra

G. Leduc1

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

(2001)

Abstract

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.

Keywords

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: - RUN Admin -
Still running IPv4 at: 18.217.218.162... RUN | Montefiore | ULg
© 2000-2025.