Protocol specification for OSI

This publication has 20 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Specifications of a simplified transport protocol using different formal description techniques
  Computer Networks and ISDN Systems, 1990
• Design principles for communication gateways
  IEEE Journal on Selected Areas in Communications, 1990
• Estelle formal specification of ISO virtual terminal
  Computer Standards & Interfaces, 1989
• Trace analysis for conformance and arbitration testing
  IEEE Transactions on Software Engineering, 1989
• An introduction to Estelle: A specification language for distributed systems
  Computer Networks and ISDN Systems, 1987
• Recognizing safety and liveness
  Distributed Computing, 1987
• Semiautomatic Implementation of Communication Protocols
  IEEE Transactions on Software Engineering, 1987
• Protocol Conversion
  IEEE Transactions on Communications, 1986
• Formal Methods in Communication Protocol Design
  IEEE Transactions on Communications, 1980