Playing games and proving properties of concurrent systems.

Published in: J. Comput. Sci. Technol. (1998)

Keyphrases

concurrent systems
petri net
temporal logic
distributed systems
model checking
desirable properties
process algebra
playing games
artificial intelligence
social media
game design