Structural models for specifying telephone systems

This publication has 9 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• G-LOTOS: a graphical language for concurrent systems
  Computer Networks and ISDN Systems, 1994
• Specifying telephone systems in LOTOS
  IEEE Communications Magazine, 1993
• A feature-interaction benchmark for IN and beyond
  IEEE Communications Magazine, 1993
• An introduction to LOTOS: learning by examples
  Computer Networks and ISDN Systems, 1992
• International standards for intelligent networks
  IEEE Communications Magazine, 1992
• Specification styles in distributed systems design and verification
  Theoretical Computer Science, 1991
• Formal specification of telephone systems in LOTOS: the constraint-oriented style approach
  Computer Networks and ISDN Systems, 1991
• A General Transition Model for Protocols and Communication Services
  IEEE Transactions on Communications, 1980