{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T11:51:04Z","timestamp":1751370664370},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642330230"},{"type":"electronic","value":"9783642330247"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33024-7_17","type":"book-chapter","created":{"date-parts":[[2012,9,2]],"date-time":"2012-09-02T01:01:56Z","timestamp":1346547716000},"page":"226-240","source":"Crossref","is-referenced-by-count":11,"title":["A Qualitative Bigraph Model for Indoor Space"],"prefix":"10.1007","author":[{"given":"Lisa A.","family":"Walton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Worboys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Howell, I., Batcheler, B.: Building Information Modeling Two Years Later \u2013 Huge Potential, Some Success and Several Limitations. The Laiserin Letter (2005)"},{"key":"17_CR2","unstructured":"Franz, G., Mallot, H., Wiener, J.: Graph-based Models of Space in Architecture and Cognitive Science - a Comparative Analysis. In: Leong, Y.-T., Lasker, G.E. (eds.) Proceedings of the 17th International Conference on Systems Research, Informatics and Cybernetics, pp. 30\u201338 (2005)"},{"issue":"10","key":"17_CR3","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1080\/13658810500399043","volume":"19","author":"J. Lee","year":"2005","unstructured":"Lee, J., Kwan, M.P.: A Combinatorial Data Model for Representing Topological Relationships between 3-D Geographic Entities. International Journal of Geographical Information Sciences\u00a019(10), 1039\u20131056 (2005)","journal-title":"International Journal of Geographical Information Sciences"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-540-76292-8_39","volume-title":"Advances in Conceptual Modeling \u2013 Foundations and Applications","author":"E.-P. Stoffel","year":"2007","unstructured":"Stoffel, E.-P., Lorenz, B., Ohlbach, H.J.: Towards a Semantic Spatial Model for Pedestrian Indoor Navigation. In: Hainaut, J.-L., Rundensteiner, E.A., Kirchberg, M., Bertolotto, M., Brochhausen, M., Chen, Y.-P.P., Cherfi, S.S.-S., Doerr, M., Han, H., Hartmann, S., Parsons, J., Poels, G., Rolland, C., Trujillo, J., Yu, E., Zim\u00e1nyi, E. (eds.) ER Workshops 2007. LNCS, vol.\u00a04802, pp. 328\u2013337. Springer, Heidelberg (2007)"},{"key":"17_CR5","first-page":"686","volume-title":"IEEE International Conference on Mobile Data Management","author":"K.-F. Richter","year":"2009","unstructured":"Richter, K.-F., Winter, S., R\u00fcetschi, U.-J.: Constructing Hierarchical Representations of Indoor Spaces. In: IEEE International Conference on Mobile Data Management, pp. 686\u2013691. IEEE Computer Society, Los Alamitos (2009)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626661"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-03832-7_22","volume-title":"Spatial Information Theory","author":"L. Walton","year":"2009","unstructured":"Walton, L., Worboys, M.: An Algebraic Approach to Image Schemas for Geographic Space. In: Hornsby, K.S., Claramunt, C., Denis, M., Ligozat, G. (eds.) COSIT 2009. LNCS, vol.\u00a05756, pp. 357\u2013370. Springer, Heidelberg (2009)"},{"key":"17_CR8","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"17_CR9","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. Theoretical Computer Science, Special Issue on Coordination\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science, Special Issue on Coordination"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L.: Abstractions for Mobile Computation. In: Vitek, J., Jensen, C.D. (eds.) Secure Internet Programming. LNCS, vol.\u00a01603, pp. 51\u201394. Springer, Heidelberg (1999)"},{"key":"17_CR11","unstructured":"Worboys, M.: Using Bigraphs to model topological graphs embedded in orientable surfaces. Journal of Theoretical Computer Science (2010) (submitted)"},{"key":"17_CR12","unstructured":"Walton, L., Worboys, M.: Indoor Spatial Theory. Technical report presented at the ISA project meeting held at the 2010 International Workshop on Indoor Spatial Awareness, Taipei, Taiwan (2010)"},{"key":"17_CR13","unstructured":"Gibson, J.: The Theory of Affordances. In: Shaw, R., Bransford, J. (eds.) Perceiving, Acting, and Knowing (1977)"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.J.: A Logic-Based Calculus of Events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","Geographic Information Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33024-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:51:56Z","timestamp":1620114716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33024-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642330230","9783642330247"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33024-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}