Testing for unboundedness of FIFO channels

• Authors:

• Thierry Jeron

• Affiliations:

• -

• Venue:
• STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
• Year:
• 1991