Colin H. West
IEEE Transactions on Communications
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.
Colin H. West
IEEE Transactions on Communications
Colin H. West, Angelo Tosi
Computer Networks and ISDN Systems
Gregor V. Bochmann, Dave Rayner, et al.
Computer Networks
P. Pitrozafiropulo, Colin H. West, et al.
IEEE Transactions on Communications