Communicating Mealy Machines as a Model for System Behavior
A Policy
Communicating Mealy Machines
Code Comparison
Future Work
Email: szollar@ic.eecs.berkeley.edu
Home Page: http://embedded.eecs.berkeley.edu/~szollar