Testing for Unboundedness of FIFO Channels

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},
}