DocumentCode
747233
Title
On conditions for defining a closed cover to verify progress for communicating finite state machines
Author
Chung, A. ; Sidhu, D.P.
Author_Institution
Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
Volume
15
Issue
11
fYear
1989
fDate
11/1/1989 12:00:00 AM
Firstpage
1491
Lastpage
1494
Abstract
The closed-cover technique for verifying progress for two communicating finite-state machines exchanging messages over two lossless, FIFO channels is considered. The authors point out that the definition of a closed cover in M.G. Gouda (ibid., vol.SE-10, no.6, p.846-55, Nov. 1984) may be too restrictive, while that in M.G. Gouda and C.K. Chang (ACM Trans. Prog. Lang., vol.8, no.1, p.154-82, Jan. 1986) is not correct. They then show how a condition of the closed-cover definition can be modified to relax restriction to various degrees. They also discuss the similarities and relationship between the structural partition technique and the closed-cover technique
Keywords
finite automata; protocols; FIFO channels; closed cover; communicating finite state machines; lossless; progress verification; structural partition technique; Automata; Computer science; EMP radiation effects; Protocols;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.41341
Filename
41341
Link To Document