By Topic

A new theory for equivalence between process specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Elgendy, H. ; El-Gendys Pyramids Eng. Consultants Inc., Nepean, Ont., Canada

New theory for equivalence between process specifications is presented in this paper. This theory is based on conformance testing; the type of testing that aims at identifying systems with distinguishable behaviours. The theory (Conformance Testing equivalence) is general enough to be not restricted to any specific formal description technique. The application of the theory is illustrated by examples of a transport layer protocol that includes a Lotos-based specification

Published in:

Electronics, Circuits, and Systems, 1996. ICECS '96., Proceedings of the Third IEEE International Conference on  (Volume:2 )

Date of Conference:

13-16 Oct 1996