‘Calls considered harmful’ and other observations: A tutorial on telephony

This publication has 14 references indexed in Scilit:

• Secrets of call forwarding: A specification case study
  Published by Springer Nature ,1996
• Feature interactions and formal specifications in telecommunications
  Computer, 1993
• Extending telecommunications systems: the feature-interaction problem
  Computer, 1993
• A rely and guarantee method for timed CSP: a specification and design of a telephone exchange
  IEEE Transactions on Software Engineering, 1993
• Intelligent network overview
  IEEE Communications Magazine, 1993
• 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
• Relationship of the Signaling System No.7 protocol architecture to the OSI reference model
  IEEE Network, 1991
• A General Transition Model for Protocols and Communication Services
  IEEE Transactions on Communications, 1980