Colin H. West, Angelo Tosi
Computer Networks and ISDN Systems
Paper
A validation of the OSI session layer protocol
Abstract
The session layer of the ISO Open-System-Interconnection (OSI) Protocol has been validated using an automated state-exploration technique. The validation methodology is described, together with the particular way it has been applied to the session layer. A number of the protocol errors found is presented. © 1986.
Related
Harry Rudin, Colin H. West
IEEE TC
Colin H. West
IEEE Transactions on Communications
P. Pitrozafiropulo, Colin H. West, et al.
IEEE Transactions on Communications