Toward a formal specification of multimedia synchronization scenarios

This publication has 9 references indexed in Scilit:

• Basic synchronisation concepts in multimedia systems
  Published by Springer Nature ,1993
• Extensions to ANSA for multimedia computing
  Computer Networks and ISDN Systems, 1992
• The “HyTime ”
  Communications of the ACM, 1991
• Modeling and verification of time dependent systems using time Petri nets
  IEEE Transactions on Software Engineering, 1991
• Synchronization and storage models for multimedia objects
  IEEE Journal on Selected Areas in Communications, 1990
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Maintaining knowledge about temporal intervals
  Communications of the ACM, 1983
• Modeling and analysis of communication and cooperation protocols using petri net based models
  Computer Networks (1976), 1982
• Instants and Intervals
  Published by Springer Nature ,1972