Take a look at Distributed Situation-state Spaces [1]. [1] http://www.let.rug.nl/festschriftnerbonne/08.%20Brouwer%20et%20al.pdf http://www.let.rug.nl/festschr

Take a look at Distributed Situation-state Spaces [1]. [1] http://www.let.rug.nl/festschriftnerbonne/08.%20Brouwer%20et%20al.pdf http://www.let.rug.nl/festschriftnerbonne/08.%20Brouwer%20et...