{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:53:53Z","timestamp":1742957633101,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":27,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811379826"},{"type":"electronic","value":"9789811379833"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-981-13-7983-3_23","type":"book-chapter","created":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T08:02:20Z","timestamp":1556352140000},"page":"255-267","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Context-Aware Ambients"],"prefix":"10.1007","author":[{"given":"Lei","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Long","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongzhi","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanpin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,28]]},"reference":[{"issue":"3","key":"23_CR1","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1038\/scientificamerican0991-94","volume":"265","author":"M Weiser","year":"1991","unstructured":"Weiser, M.: The computer for the 21st century. Sci. Am. 265(3), 94\u2013104 (1991)","journal-title":"Sci. Am."},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11690634_13","volume-title":"Foundations of Software Science and Computation Structures","author":"L Birkedal","year":"2006","unstructured":"Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical models of context-aware systems. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FoSSaCS 2006. LNCS, vol. 3921, pp. 187\u2013201. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11690634_13"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-540-85361-9_20","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L Birkedal","year":"2008","unstructured":"Birkedal, L., Debois, S., Hildebrandt, T.: On the construction of sorted reactive systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 218\u2013232. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85361-9_20"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Wang, J.S., Xu, D., Lei, Z.: Formalizing the structure and behaviour of context-aware systems in bigraphs. In: 2011 First ACIS International Symposium on Software and Network Engineering (SSNE), pp. 89\u201394 (2011)","DOI":"10.1109\/SSNE.2011.17"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Xu, D.Z, Xu, D., Lei, Z.: Bigraphical model of context-aware in ubiquitous computing environments. In: 2011 IEEE Asia-Pacific Services Computing Conference (APSCC), pp. 389\u2013394 (2011)","DOI":"10.1109\/APSCC.2011.58"},{"key":"23_CR6","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. 2949, pp. 38\u201354. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24634-3_6"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Zimmer, P.: A calculus for context-awareness, Brics Research (2005)","DOI":"10.7146\/brics.v12i27.21894"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Kj\u00e6rgaard, M.B., Bunde-Pedersen, J.: A formal model for context-awareness. Technical report, BRICS (2006)","DOI":"10.7146\/brics.v13i2.21908"},{"issue":"4","key":"23_CR9","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/j.jcss.2010.02.003","volume":"77","author":"F Siewe","year":"2011","unstructured":"Siewe, F., Zedan, H., Cau, A.: The calculus of context-aware ambients. J. Comput. Syst. Sci. 77(4), 597\u2013620 (2011)","journal-title":"J. Comput. Syst. Sci."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Rocha, L.S., Andrade, R.: Towards a formal model to reason about context-aware exception handling. In: 2012 5th International Workshop on Exception Handling (WEH), pp. 27\u201333 (2012)","DOI":"10.1109\/WEH.2012.6226595"},{"key":"23_CR11","unstructured":"Almutairi, A., Siewe, F.: Formal specification of CA-UCON model using CCA. In: 2013 Science and Information Conference (SAI), pp. 369\u2013375 (2013)"},{"key":"23_CR12","unstructured":"Giacalone, A., Jou, C.C., Smolka, S.A.: Algebraic reasoning for probabilistic concurrent systems. In: Proceedings IFIP TC2 Working Conference on Programming Concepts and Methods (1990)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Deng, Y.: Semantics of Probabilistic Processes: An Operational Approach. Shanghai Jiao Tong University Press, Springer (2014)","DOI":"10.1007\/978-3-662-45198-4"},{"issue":"5","key":"23_CR14","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspect Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspect Comput."},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-24634-3_11","volume-title":"Coordination Models and Languages","author":"A Pierro Di","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic KLAIM. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 119\u2013134. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24634-3_11"},{"issue":"06","key":"23_CR16","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1017\/S0960129599002984","volume":"10","author":"C Baier","year":"2000","unstructured":"Baier, C., Kwiatkowska, M.: Domain equations for probabilistic processes. Math. Struct. Comput. Sci. 10(06), 665\u2013717 (2000)","journal-title":"Math. Struct. Comput. Sci."},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-46432-8_10","volume-title":"Foundations of Software Science and Computation Structures","author":"OM Herescu","year":"2000","unstructured":"Herescu, O.M., Palamidessi, C.: Probabilistic asynchronous $$\\pi $$ -calculus. In: Tiuryn, J. (ed.) FoSSaCS 2000. LNCS, vol. 1784, pp. 146\u2013160. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46432-8_10"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FoSSaCS 1998. LNCS, vol. 1378, pp. 140\u2013155. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053547"},{"issue":"12","key":"23_CR19","doi-asserted-by":"publisher","first-page":"1272","DOI":"10.1016\/j.tcs.2008.12.058","volume":"410","author":"M Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Vigliotti, M.G.: Probabilistic mobile ambients. Theor. Comput. Sci. 410(12), 1272\u20131303 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR20","volume-title":"Communicating and Mobile Systems: the Pi Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"02","key":"23_CR21","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. Math. Struct. Comput. Sci. 2(02), 119\u2013141 (1992)","journal-title":"Math. Struct. Comput. Sci."},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Berry, G, Boudol, G.: The chemical abstract machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 81\u201394 (1989)","DOI":"10.1145\/96709.96717"},{"issue":"3","key":"23_CR23","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1017\/S0960129502003742","volume":"13","author":"L Cardelli","year":"2003","unstructured":"Cardelli, L., Gordon, A.D.: Ambient logic. Math. Struct. Comput. Sci. 13(3), 371\u2013408 (2003)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"23_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.ic.2005.05.008","volume":"202","author":"PA Abdulla","year":"2005","unstructured":"Abdulla, P.A., Bertrand, N., Rabinovich, A., Schnoebelen, P.: Verification of probabilistic systems with faulty communication. Inf. Comput. 202(2), 141\u2013165 (2005)","journal-title":"Inf. Comput."},{"key":"23_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-49059-0_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P Abdulla","year":"1999","unstructured":"Abdulla, P., Annichini, A., Bouajjani, A.: Symbolic verification of lossy channel systems: application to the bounded retransmission protocol. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 208\u2013222. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-49059-0_15"},{"issue":"9","key":"23_CR26","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/TC.2011.147","volume":"61","author":"Y Cao","year":"2012","unstructured":"Cao, Y.: Reliability of mobile processes with noisy channels. IEEE Trans. Comput. 61(9), 1217\u20131230 (2012)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"23_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/584091.584093","volume":"5","author":"CE Shannon","year":"2001","unstructured":"Shannon, C.E.: A mathematical theory of communication. ACM SIGMOBILE Mob. Comput. Commun. Rev. 5(1), 3\u201355 (2001)","journal-title":"ACM SIGMOBILE Mob. Comput. Commun. Rev."}],"container-title":["Communications in Computer and Information Science","Cognitive Systems and Signal Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-7983-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T03:32:54Z","timestamp":1694835174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-7983-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9789811379826","9789811379833"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-7983-3_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"28 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSIP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Cognitive Systems and Signal Processing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsip2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/csip2018.csp.escience.cn","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}