FAC
2008
13 years 4 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...
EDUTAINMENT
2006
Springer
2006
Springer
Efficiently Maintaining Consistency Using Tree-Based P2P Network System in Distributed Network Games
13 years 8 months ago
There are two main approaches, conservative and optimistic, for maintaining consistency in distributed network games. Under the conservative approach, players may experience netwo...