Algorithms and techniques for unique input/output sequence generation /

Communication protocols are the mechanisms for establishing communication patterns between different processes within a distributed computer system. A protocol must be checked to ensure conformance to a specified standard. Conformance testing is based on modeling the protocol as a finite state ma-c...

Full description

Bibliographic Details

Main Author:	Schin, Dongjean
Format:	Thesis Book
Language:	English
Published:	[Place of publication not identified] : [publisher not identified] ; 1998.
Subjects:	Major computer science.
Online Access:	http://proxy.library.tamu.edu/login?url=http://proquest.umi.com/pqdweb?did=732843461&sid=1&Fmt=2&clientId=2945&RQT=309&VName=PQD