461 search results - page 93 / 93 » Verifying parallel programs with dynamic communication struc... |
DIGRA
2005
Springer
15 years 3 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...