%0 Journal Article 
%F Jeron-Jard-TCS93
%A Jéron, T.
%A Jard, C.
%T Testing for Unboundedness of Fifo Channels
%J Theoretical Computer Science
%V 113
%P 93-117
%X Undecidability of the unboundedness problem for specification models allowing fifo channels was proved a few years ago by Brand and Zafiropulo. The paper investigates a testing approach of that problem. Dealing with the general framework of systems communicating through fifo channels, we find a sufficient condition for unboundedness based on a relation between the nodes of the reachability tree. The construction of the resulting reduced tree can then be applied as well to communicating finite state machines as to Fifo-Nets. Moreover, the test extends existing decidability results. As a matter of fact, it becomes a decision procedure for a class of systems strictly including linear and monogeneous systems which are the two essential classes in which decidability is already known. In order to conclude our study on a practical view, we show that a few modifications of the relation make the test available for Estelle specifications
%U http://www.irisa.fr/vertecs/Publis/Ps/93-TCS.ps.gz
%D 1993