Author of the publication

A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations.

, , and . IEEE J. Sel. Areas Commun., 14 (1): 185-195 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems., , and . ICMCS, page 173-182. IEEE Computer Society, (1994)Proving Temporal Consistency in a New Multimedia Synchronization Model., and . ACM Multimedia, page 141-152. ACM Press, (1996)About time nondeterminism and exception handling in a temporal extension of LOTOS., and . PSTV, volume 1 of IFIP Conference Proceedings, page 37-52. Chapman & Hall, (1994)Specification and Validation of Multimedia Protocols using RT-LOTOS., , and . FTDCS, page 354-362. IEEE Computer Society, (1995)A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations., , and . IEEE J. Sel. Areas Commun., 14 (1): 185-195 (1996)An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System., , , and . FORTE, volume 107 of IFIP Conference Proceedings, page 433-448. Chapman & Hall, (1997)RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation., and . MMNET, page 31-45. (1995)A Reachability Analysis of RT-LOTOS Specifications., and . FORTE, volume 43 of IFIP Conference Proceedings, page 117-124. Chapman & Hall, (1995)Towards a New Multimedia Synchronization Mechanism and its Formal Definition., , and . ACM Multimedia, page 133-140. ACM Press, (1994)Image Processing with Convolutional Neural Networks for Classification of Plant Diseases., , , and . BRACIS, page 705-710. IEEE, (2019)