Design and implementation of a proof-of-concept MMORPG using CSP and occam-π

We describe an experiment in the application of CSP and occam-pi to the specification and implementation of a significant concurrent application. The utility of CSP for prototyping and verifying the complex interactions of a proof-of-concept multiplayer game is explored, as are several interesting new extensions to the occam language. Verifying the design with CSP is found to eliminate potential deadlock situations, allowing a correct design to be implemented without trial and error debugging of component interactions. The CSP/occam-pi combination is found to facilitate the rapid development of a correctly functioning, highly concurrent game system.