Output details
11 - Computer Science and Informatics
University of Greenwich
Using bigraphs to model topological graphs embedded in orientable surfaces
One of a series of papers on the application of Robin Milner’s bigraph theory to reasoning about dynamic spatial phenomena. Sets the theoretical foundations by demonstrating how spatial concepts, could be directly constructed from Milner’s bigraph model. Related papers have been published by Worboys and his students applying the results to dynamic entities in indoor space. Indoor space project funded by US NSF. Such work resulted in a tutorial given at an international research conference (COSIT) in 2013, keynote invitations in Chicago and London, and seminar invitations at Muenster and Bremen. Also, delivery of the Jack Dangermond Lecture, Santa Barbara.