Analysis Problems for Sequential Dynamical Systems and Communicating State Machines.

Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns

Browse the full MFCS paper archive.