http://www.cs.rpi.edu/wwc/salsa
Migration Example
•The program must be bound to a valid name and location. •After binding the actor sends the print message to itself before migrating to the second theater and sending the message again.