By Topic

An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype

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

4 Author(s)
Byung-Ho Park ; Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan ; Kimura, S. ; Eun-Seok Lee ; Shiratori, N.

LOTOS formal description technique (FDT) is applied to the formal description of distributed systems and the specification of OSI protocol layers. LOTOS is difficult to understand and to learn because it is based on a mathematical model. In this paper, for supporting the knowledge acquisition of learners studying basic LOTOS, we suggest a new algorithm that can verify an equivalence relation, find an error location, and correct an error when the error occurs at another process. Finally, we give an example of a prototype program for an educational support system for basic LOTOS

Published in:

Parallel and Distributed Systems, 1997. Proceedings., 1997 International Conference on

Date of Conference:

10-13 Dec 1997