{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:05:57Z","timestamp":1759032357610},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341451"},{"type":"electronic","value":"9783540341468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11752707_12","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T13:50:15Z","timestamp":1148565015000},"page":"137-148","source":"Crossref","is-referenced-by-count":4,"title":["A Calculus for the Refinement and Evolution of Multi-user Mobile Applications"],"prefix":"10.1007","author":[{"given":"W. Greg","family":"Phillips","sequence":"first","affiliation":[]},{"given":"T. C. Nicholas","family":"Graham","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Wolfe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Amir, Y., Danilov, C., Stanton, J.: A low latency, loss tolerant architecture and protocol for wide area group communication. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2000), p. 327. IEEE Computer Society, Los Alamitos (2000), Also available from: \n                    \n                      http:\/\/www.spread.org","DOI":"10.1109\/ICDSN.2000.857557"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-36235-5_7","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"L. Braubach","year":"2002","unstructured":"Braubach, L., Pokahr, A., Moldt, D., Bartelt, A., Lamersdorf, W.: Tool-supported interpreter-based user interface architecture for ubiquitous computing. In: Forbrig, P., Limbourg, Q., Urban, B., Vanderdonckt, J. (eds.) DSV-IS 2002. LNCS, vol.\u00a02545, pp. 89\u2013103. Springer, Heidelberg (2002)"},{"key":"12_CR3","volume-title":"Computer Supported Co-operative Work","author":"P. Dewan","year":"1999","unstructured":"Dewan, P.: Architectures for collaborative applications. In: Beaudouin-Lafon, M. (ed.) Computer Supported Co-operative Work. John Wiley & Sons Ltd., Chichester (1999)"},{"key":"12_CR4","volume-title":"Core Jini","author":"W.K. Edwards","year":"2000","unstructured":"Edwards, W.K.: Core Jini, 2nd edn. Prentice Hall PTR, Englewood Cliffs (2000)","edition":"2"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237091.237092","volume-title":"Proceedings of the ACM Symposium on User Interface Software and Technology (UIST 1996)","author":"T.C.N. Graham","year":"1996","unstructured":"Graham, T.C.N., Urnes, T., Nejabi, R.: Efficient distributed implementation of semireplicated synchronous groupware. In: Proceedings of the ACM Symposium on User Interface Software and Technology (UIST 1996), Seattle, WA, USA, November (6\u20138), pp. 1\u201310. ACM Press, New York (1996)"},{"issue":"3","key":"12_CR6","first-page":"26","volume":"1","author":"G.E. Krasner","year":"1988","unstructured":"Krasner, G.E., Pope, S.T.: A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80. Journal of Object- Oriented Programming\u00a01(3), 26\u201349 (1988)","journal-title":"Journal of Object- Oriented Programming"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/587078.587112","volume-title":"Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW 2002)","author":"Y. Laurillau","year":"2002","unstructured":"Laurillau, Y., Nigay, L.: Clover architecture for groupware. In: Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW 2002), New Orleans, LA, USA, pp. 236\u2013245. ACM Press, New York (2002)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/358916.358981","volume-title":"Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW 2000)","author":"R. Litiu","year":"2000","unstructured":"Litiu, R., Prakash, A.: Developing adaptive groupware applications using a mobile component framework. In: Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW 2000), Philadelphia, PA, USA, pp. 107\u2013116. ACM Press, New York (2000)"},{"key":"12_CR9","unstructured":"Phillips, W.G.: Architectures for synchronous groupware. Technical Report 1999-425, Queen\u2019s University, Kingston, Ontario, Canada (May 1999), Available from \n                    \n                      http:\/\/www.cs.queensu.ca"},{"key":"12_CR10","unstructured":"Phillips, W.G., Graham, T.C.N.: Workspace Model Specification, version 1.0. Technical report 2005-493. Queen\u2019s University, Kingston, Ontario, Canada (March 2005), Available from \n                    \n                      http:\/\/www.cs.queensu.ca"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-39929-2_7","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"W.G. Phillips","year":"2003","unstructured":"Phillips, W.G., Graham, T.C.N.: Workspaces: A multi-level architectural style for synchronous groupware. In: Jorge, J.A., Jardim Nunes, N., Falc\u00e3o e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol.\u00a02844, pp. 92\u2013106. Springer, Heidelberg (2003)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/289444.289469","volume-title":"Proceedings of the ACM Conference on Computer- Supported Cooperative Work (CSCW 1998)","author":"C. Sun","year":"1998","unstructured":"Sun, C., Ellis, C.: Operational transformation in real-time group editors: Issues, algorithms, and achievments. In: Proceedings of the ACM Conference on Computer- Supported Cooperative Work (CSCW 1998), WA, USA, pp. 59\u201368. ACM Press, New York (1998)"},{"issue":"4","key":"12_CR13","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/227210.227229","volume":"39","author":"R. Renesse van","year":"1996","unstructured":"van Renesse, R., Birman, K.P., Maffeis., S.: Horus, a flexible group communication system. Communications of the ACM\u00a039(4), 76\u201383 (1996)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11752707_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:17Z","timestamp":1619506997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11752707_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341451","9783540341468"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11752707_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}