461 search results - page 93 / 93 » Verifying parallel programs with dynamic communication struc... |
DIGRA
2005
Springer
13 years 12 months ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...