A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Transport services for multimedia applications on broadband networks
Computer Communications - Multimedia communications
Architecture for distributed multimedia database systems
Computer Communications - Multimedia communications
Specifying real-time properties with metric temporal logic
Real-Time Systems
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Introduction to LOTOS through a worked example
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
Practical methods for the formal validation of SDL specifications
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
Extensions to ANSA for multimedia computing
Computer Networks and ISDN Systems
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
The RAISE specification language
The RAISE specification language
Communicating sequential processes
Communications of the ACM
IEEE Transactions on Software Engineering
From timed Petri nets to timed LOTOS
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
An Enhanced Version of Timed LOTOS and its Application to a Case Study
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Io: An Estelle Simulator for Performance Evaluation
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
LOTOS-like Process Algebras with Urgent or Timed Interactions
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Object Oriented Modelling in Z for Open Distributed Systems
Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
A Language for the Specification of Interactive and Distributed Multimedia Applications
Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing II
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Time Versus Abstraction in Formal Description
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
IEEE Transactions on Software Engineering
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
Hi-index | 0.24 |
The emphasis in distributed multimedia computing has been on developing and building systems, rather than on formally defining the precise behaviour of developed systems. We assess the suitability of a spectrum of formal description techniques for expression of distributed multimedia structures. Then we focus on three particular approaches; extended finite state machines, synchronous languages and process algebras. Representative techniques for each are assessed against multimedia requirements. In particular, we consider to what extent each technique satisfies the real-time requirements of distributed multimedia computing. The conclusions of the paper centre, firstly, on the relative benefits of these specific techniques and, secondly, more broadly, on the limitations of the standard single language based approach for formal description of distributed multimedia systems.