Output details
11 - Computer Science and Informatics
University of Greenwich
Return to search
Output 0 of 0 in the submission
Article title
Using bigraphs to model topological graphs embedded in orientable surfaces
Type
D - Journal article
Title of journal
Theoretical Computer Science
Article number
-
Volume number
484
Issue number
-
First page of article
56
ISSN of journal
0304-3975
Year of publication
2013
Number of additional authors
0
Additional information
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.
Interdisciplinary
-
Cross-referral requested
-
Research group
3 - Computer & Computational Science
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
