Strategies as sheaves and interactive equivalences for CCS

Tom Hirschowitz Damien Pous

Published in: CoRR (2011)

Keyphrases

connected components
computer graphics
user friendly
real time
three dimensional
expert systems
virtual reality
optimal strategy
graphical interface
database
web services
similarity measure