Thierry Jéron, Claude Jard. Testing for Unboundedness of FIFO Channels. Theoretical Computer Science, 113(1):93-117, 1993.
@article{JeronJ93, title = {Testing for Unboundedness of FIFO Channels}, author = {Thierry Jéron and Claude Jard}, year = {1993}, tags = {testing}, researchr = {https://researchr.org/publication/JeronJ93}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {113}, number = {1}, pages = {93-117}, }