Formal description of distributed multimedia systems: an assessment of potential techniques

This publication has 23 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Extensions to ANSA for multimedia computing
  Computer Networks and ISDN Systems, 1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• The CCITT-specification and description language SDL
  Computer Networks and ISDN Systems, 1989
• PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols
  IEEE Transactions on Software Engineering, 1988
• An introduction to Estelle: A specification language for distributed systems
  Computer Networks and ISDN Systems, 1987
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976