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