Paper Info
Title
Design And Implementation Of A Proof-Of-Concept Mmorpg Using Csp And Occam-Pi
Abstract
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.
Year
Venue
Keywords
2005
PDPTA '05: Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications, Vols 1-3
CSP, occam, concurrency, MMORPG
Field
DocType
Citations 
Computer science,Parallel computing,occam,Proof of concept,Distributed computing
Conference
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Allan I Mcinnes194.32