Protocol specification for OSI

Trace Analysis for Conformance and Arbitration Testing

IEEE Transactions on Software Engineering

Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols

IEEE Transactions on Computers - Special issue on protocol engineering

Formal object-oriented methods in communication standards

ACM SIGPLAN OOPS Messenger

Protocol testing: review of methods and relevance for software testing

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis

Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis

Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters

IEEE Transactions on Software Engineering

Development of communication protocols using algebraic and temporal specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking

Deriving protocol specifications from service specifications written in LOTOS

Distributed Computing