Testing for Unboundedness of FIFO Channels (1993)

by T Jeron, C Jard
Venue:Theoretical Computer Science