is a many-splendored thing: an interpretation and design methodology for message-driven games using graphical logics.