- Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing Richard Karp Raymond Miller Fri 26 October 2012
- Unboundedness detection for a class of communicating finite-state machines Yao-Tin Yu Mohamed G. Gouda Thu 11 October 2012
- Testing for unboundedness of fifo channels Thierry Jéron Claude Jard Mon 08 October 2012
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
