Items where Author is "Blair, L."

Contribution in Book/Report/Proceedings

Bowman, H. and Blair, L. and Blair, Gordon S. and Chetwynd, Amanda G. (1994) Time versus abstraction in formal descriptions. In: Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93) :. Elsevier, North Holland.

Bowman, H. and Blair, L. and Blair, Gordon S. and Chetwynd, Amanda G. (1994) A formal description technique supporting quality of service and media synchronisation. In: Proceedings of Cost 237 : multimedia transport and teleservices :. Springer.

Blair, L. and Blair, Gordon S. and Bowman, H. and Chetwynd, Amanda G. (1994) A framework for the formal specification and verification of distributed multimedia systems. In: Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks :. UNSPECIFIED.

Blair, L. and Blair, Gordon S. and Bowman, H. and Chetwynd, Amanda G. and Papathomas, M. (1994) A framework for the formal specification of multimedia systems in open distributed processing MPG-93-12 J. In: Proceedings of the Workshop on Distributed Multimedia Applications and Quality of Service Verification :. UNSPECIFIED, Montreal.

Bowman, H. and Blair, L. and Blair, Gordon S. and Chetwynd, Amanda G. (1993) Formal description of distributed multimedia systems. In: Proceedings of the 9th British Colloquium for Theoretical Computer Science :. UNSPECIFIED, York.

Book/Report/Proceedings

Blair, G. S. and Blair, L. and Bowman, H. and Chetwynd, Amanda G. (1998) Formal specification of distributed multimedia systems. UCL Press.