Thierry Jéron Claude Jard Testing for Unboundedness of FIFO Channels. 93-117 1993 113 Theor. Comput. Sci. 1 db/journals/tcs/tcs113.html#JeronJ93