{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T23:22:25Z","timestamp":1773789745520,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540330455","type":"print"},{"value":"9783540330462","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11690634_13","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T14:15:28Z","timestamp":1143555328000},"page":"187-201","source":"Crossref","is-referenced-by-count":43,"title":["Bigraphical Models of Context-Aware Systems"],"prefix":"10.1007","author":[{"given":"L.","family":"Birkedal","sequence":"first","affiliation":[]},{"given":"S.","family":"Debois","sequence":"additional","affiliation":[]},{"given":"E.","family":"Elsborg","sequence":"additional","affiliation":[]},{"given":"T.","family":"Hildebrandt","sequence":"additional","affiliation":[]},{"given":"H.","family":"Niss","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Implementing a sentient computing system","author":"M. Addlesee","year":"2001","unstructured":"Addlesee, M., Curwen, R., Hodges, S., Newman, J., Steggles, P., Ward, A., Hopper, A.: Implementing a sentient computing system. IEEE Computer, Los Alamitos (2001)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s00779-004-0270-2","volume":"9","author":"C. Becker","year":"2005","unstructured":"Becker, C., D\u00fcrr, F.: On location models for ubiquitous computing. Personal and Ubiquitous Computing\u00a09, 20\u201331 (2005)","journal-title":"Personal and Ubiquitous Computing"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical Models of Context-aware Systems. Technical Report\u00a074, IT Univ. of Copenhagen (2005)","DOI":"10.1007\/11690634_13"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-24634-3_6","volume-title":"Coordination Models and Languages","author":"P. Braione","year":"2004","unstructured":"Braione, P., Picco, G.P.: On calculi for context-aware coordination. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 38\u201354. Springer, Heidelberg (2004)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bundgaard, M., Hildebrandt, T.: Bigraphical semantics of higher-order mobile embedded resources with local names. In: Proc. of GT-VC (2005)","DOI":"10.1016\/j.entcs.2005.03.029"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1007\/11523468_62","volume-title":"Automata, Languages and Programming","author":"G. Conforti","year":"2005","unstructured":"Conforti, G., Macedonio, D., Sassone, V.: Spatial Logics for Bigraphs. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 766\u2013778. Springer, Heidelberg (2005)"},{"key":"13_CR7","unstructured":"Damgaard, T.C., Birkedal, L.: Axiomatizing binding bigraphs (revised). Technical Report TR-2005-71, IT University of Copenhagen (2005)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1007\/11523468_99","volume-title":"Automata, Languages and Programming","author":"R. De Nicola","year":"2005","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 1226\u20131238. Springer, Heidelberg (2005)"},{"key":"13_CR9","unstructured":"Debois, S., Damgaard, T.C.: Bigraphs by Example. Technical Report TR-2005-61, IT University of Copenhagen (March 2005)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Dey, A.K., Abowd, G.D.: Towards a better understanding of context and context-awareness. In: Workshop on The What, Who, Where, When, and How of Context-Awareness (2000)","DOI":"10.1007\/3-540-48157-5_29"},{"key":"13_CR11","unstructured":"Hennessy, M.: Context-awareness: Models and analysis. Talk at 2nd UK-UbiNet Workshop (2004)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45866-2_14","volume-title":"Pervasive Computing","author":"K. Henricksen","year":"2002","unstructured":"Henricksen, K., Indulska, J., Rakotonirainy, A.: Modeling context information in pervasive computing systems. In: Mattern, F., Naghshineh, M. (eds.) PERVASIVE 2002. LNCS, vol.\u00a02414, Springer, Heidelberg (2002)"},{"key":"13_CR13","unstructured":"Jensen, O.H.: Mobile Processes in Bigraphs. PhD thesis (forthcoming 2005)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and Transitions. In: Proc. of POPL (2003)","DOI":"10.1145\/604131.604135"},{"key":"13_CR15","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge (2004)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2000 - Concurrency Theory","author":"J.J. Leifer","year":"2000","unstructured":"Leifer, J.J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, Springer, Heidelberg (2000)"},{"key":"13_CR17","unstructured":"Milner, R.: Axioms for bigraphical structure. Technical Report UCAM-CL-TR-581, University of Cambridge (2004)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_19","volume-title":"Lectures on Concurrency and Petri Nets","author":"R. Milner","year":"2004","unstructured":"Milner, R.: Bigraphs for Petri Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, Springer, Heidelberg (2004)"},{"key":"13_CR19","unstructured":"Milner, R.: Bigraphs whose names have multiple locality. Technical Report UCAM-CL-TR-603 (2004)"},{"key":"13_CR20","unstructured":"Milner, R.: Bigraphs: A tutorial. Slides (April 2005), Available at http:\/\/www.cl.cam.ac.uk\/users\/rm135\/bigraphs-tutorial.pdf"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Robin Milner. Pure bigraphs: Structure and dynamics. Information and Computation (to appear, 2005)","DOI":"10.1016\/j.ic.2005.07.003"},{"key":"13_CR22","volume-title":"Proof, Language and Interaction: Essays in Honour of R. Milner","author":"B.C. Pierce","year":"2000","unstructured":"Pierce, B.C., Turner, D.N.: Pict: A prog. lang. based on the pi-calculus. In: Proof, Language and Interaction: Essays in Honour of R. Milner, MIT, Cambridge (2000)"},{"key":"13_CR23","unstructured":"Plato. The republic, book vii, 360 B.C. Translation by Benjamin Jowett"},{"key":"13_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574962","volume-title":"Concurrent Programming in ML","author":"J.H. Reppy","year":"1999","unstructured":"Reppy, J.H.: Concurrent Programming in ML. Cambridge University Press, Cambridge (1999)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"G.-C. Roman","year":"2004","unstructured":"Roman, G.-C., Julien, C., Payton, J.: A formal treatment of context-awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, Springer, Heidelberg (2004)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: Proc. of IEEE Workshop on Mobile Computing Systems and Applications (1994)","DOI":"10.1109\/WMCSA.1994.16"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Schmidt, A., Beigl, M., Gellersen, H.-W.: There is more to context than location. Computers & Graphics Journal (1999)","DOI":"10.1016\/S0097-8493(99)00120-X"},{"key":"13_CR28","volume-title":"Hot topics \u2013 ubiquitous computing","author":"M. Weiser","year":"1993","unstructured":"Weiser, M.: Hot topics \u2013 ubiquitous computing. IEEE Computer, Los Alamitos (1993)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11690634_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T21:49:20Z","timestamp":1683409760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11690634_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330455","9783540330462"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11690634_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}