Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
The Z notation: a reference manual
The Z notation: a reference manual
Practical methods for the formal validation of SDL specifications
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
ACM Computing Surveys (CSUR)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Specs: Making Formal Techniques Usable
IEEE Software
Formal Methods at AT&T - An Industrial Usage Report
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
| Hi-index | 0.00 |
Modern telecommunications systems are so complicated that informal languages are no longer sufficient for expressing their requirements. A brief introduction to the nature of requirements for telecommunication systems is given in this paper. The three standardized formal languages for telecommunications, Estelle, LOTOS, and SDL, are described and compared. Each language is evaluated, and a comparison of all three is offered. Throughout the paper a common example is used.