School of Computing

A true concurrency semantics for quality of service specification and validation

H. Bowman and J. Derrick

In Behcet Sarikaya and Senro Saito, editors, MMNet'95, International Conference on Multimedia and Networking, pages 182-196. IEEE Computer Society Press, September 1995.


This paper considers quality of service specification and validation for distributed multimedia systems. We present a new perspective on the LOTOS/QTL approach to such specification and validation. This approach has been previously presented in the context of a standard interleaving model of concurrency. In this paper we motivate the use of an alternative, truly concurrent, semantic model based on bundle event structures and integrate these semantics into the LOTOS/QTL approach. The applicability of the approach is illustrated with a specification of a multimedia stream.

Bibtex Record

author = {H. Bowman and J. Derrick},
title = {A True Concurrency Semantics for Quality of Service Specification and Validation},
month = {September},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    ISBN = {0-8186-7090-8},
    booktitle = {MMNet'95, International Conference on Multimedia and Networking},
    editor = {Behcet Sarikaya and Senro Saito},
    publisher = {IEEE Computer Society Press},
    refereed = {yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014