A specification architecture for multimedia systems in Open Distributed Processing

Computer Networks

Volumn 29, Issue 4, 1997, Pages 473-500

  Blak, G S ^a  

^a LANCASTER UNIVERSITY   (United Kingdom)

Author keywords

Architecture; Design; LOTOS; Multimedia; QTL; Specification

Indexed keywords

EID: 0006872609     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (2)

1. R. Alur and T.A. Henzinger, A really temporal logic, in: Proc. 30th Ann. Symp. on Foundations of Computer Science (IEEE Computer Society Press, 1989) 164-169.
2. R. Alur and T.A. Henzinger, Logics and models of real-time: A survey, in: J.W. de Bakker, C. Huizing, W.P. de Roever and G. Rozenberg, eds., REX Workshop on Real-Time: Theory and Practice, Lecture Notes in Computer Science, Vol. 600 (Springer, Berlin, 1991) 74-106.