Testing for Unboundedness of FIFO Channels (1993)

by T Jéron, C Jard
Venue:Theor. Comput. Sci