{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,21]],"date-time":"2025-12-21T06:24:57Z","timestamp":1766298297174,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":58,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705918"},{"type":"electronic","value":"9783540705925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70592-5_20","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"463-489","source":"Crossref","is-referenced-by-count":19,"title":["Programming with Live Distributed Objects"],"prefix":"10.1007","author":[{"given":"Krzysztof","family":"Ostrowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Birman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danny","family":"Dolev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jong Hoon","family":"Ahnn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. SIGSOFT Softw. Eng. Notes\u00a026, 5 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"20_CR2","unstructured":"Anceaume, E., Charron-Bost, B., Minet, P., Toueg, S.: On the Formal Specification of Group Membership Services. Cornell University Tech. Report TR95-1534 (August 1995)"},{"key":"20_CR3","unstructured":"Andrews, T., et al.: Business Process Execution Language for Web Services v1.1. May (2003), http:\/\/download.boulder.ibm.com\/ibmdl\/pub\/software\/dw\/specs\/ws-bpel\/ws-bpel.pdf"},{"key":"20_CR4","unstructured":"Banerji, A., et al.: Web Services Conversation Language (WSCL), http:\/\/www.w3.org\/TR\/wsc110"},{"issue":"12","key":"20_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/163298.163303","volume":"36","author":"K. Birman","year":"1993","unstructured":"Birman, K.: The Process Group Approach to Reliable Distributed Computing. Communications of the ACM\u00a036(12), 37\u201353 (1993)","journal-title":"Communications of the ACM"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Birrell, A., Nelson, G., Owicki, S., Wobber, W.: Network Objects. In: SOSP 1993","DOI":"10.1145\/168619.168637"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. JACM, 30(2) (1983)","DOI":"10.1145\/322374.322380"},{"key":"20_CR8","unstructured":"Brockschmidt, K.: Inside OLE. Microsoft Press (1995)"},{"issue":"1","key":"20_CR9","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. TOCS\u00a08(1), 18\u201336 (1990)","journal-title":"TOCS"},{"issue":"4","key":"20_CR10","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in Context. CACM\u00a032(4), 444\u2013458 (1989)","journal-title":"CACM"},{"issue":"2","key":"20_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/214438.214439","volume":"3","author":"D. Cheriton","year":"1985","unstructured":"Cheriton, D., Zwaenepoel, W.: Distributed Process Groups in the V Kernel. ACM Transactions on Computer Systems\u00a03(2), 77\u2013107 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"4","key":"20_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/503112.503113","volume":"33","author":"G. Chockler","year":"2001","unstructured":"Chockler, G., Keidar, I., Vitenberg, W.: Group Communication Specifications: A Comprehensive Study. ACM Computer Surveys\u00a033(4):1, 43 (2001)","journal-title":"ACM Computer Surveys"},{"key":"20_CR13","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Lan-guage (WSDL). W3C Note 15 March (2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Eugster, P., Guerraoui, R.: On Objects and Events. In: OOPSLA 2001, pp. 254\u2013269 (2001)","DOI":"10.1145\/504311.504301"},{"issue":"2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MS.2004.1270763","volume":"21","author":"P. Eugster","year":"2004","unstructured":"Eugster, P., Guerraoui, R.: Distributed Programming with Typed Events. IEEE Software\u00a021(2), 56\u201364 (2004)","journal-title":"IEEE Software"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Eugster, P., Damm, H., Guerraoui, R.: Towards Safe Distributed Application Development. In: ICSE 2004, pp. 347\u2013356 (2004)","DOI":"10.1109\/ICSE.2004.1317457"},{"key":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-45102-1_13","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"P. Eugster","year":"2000","unstructured":"Eugster, P., Guerraoui, R., Sventek, J.: Distributed Asynchronous Collections: Abstractions for Publish\/Subscribe Interaction. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 252\u2013276. Springer, Heidelberg (2000)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation Specification: A New Approach to Design and Anal-ysis of E-Service Composition. In: WWW 2003, Budapest, Hungary, May 20-24 (2003)","DOI":"10.1145\/775209.775210"},{"key":"20_CR19","unstructured":"Fuzzati, R., Nestmann, U.: Much Ado About Nothing. In: Algebraic Process Calculi, the First Twenty Five Years and Beyond. Process algebra, http:\/\/www.brics.dk\/NS\/05\/3\/"},{"key":"20_CR20","unstructured":"Garbinato, B., Guerraoui, R.: Using the Strategy Pattern to Compose Reliable Distributed Protocols. In: Proceedings of 3rd USENIX COOTS, Portland, Oregon (June 1997)"},{"key":"20_CR21","volume-title":"Smalltalk-80: the language and its implementation","author":"A. Goldberg","year":"1983","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: the language and its implementation. Addison-Wesley Longman Publishing Co., Inc., Boston (1983)"},{"key":"20_CR22","volume-title":"Reasoning about Knowledge","author":"J. Halpern","year":"1995","unstructured":"Halpern, J., Fagin, R., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49059-0_9","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"J. Hickey","year":"1999","unstructured":"Hickey, J., Lynch, N., van Renesse, R.: Specifications and proofs for Ensemble layers. In: Cleaveland, W.R. (ed.) ETAPS 1999 and TACAS 1999. LNCS, vol.\u00a01579, Springer, Heidelberg (1999)"},{"issue":"8","key":"20_CR24","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. Hoare","year":"1978","unstructured":"Hoare, C.: Communicating sequential processes. CACM\u00a021(8), 666\u2013677 (1978)","journal-title":"CACM"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Jul, E., Levy, H., Hutchinson, N., Black, A.: Fine-Grained Mobility in the Emerald System. ACM TOCS\u00a06(1), 109\u2013133","DOI":"10.1145\/35037.42182"},{"key":"20_CR26","unstructured":"Karr, D.: Specification, Composition, and Automated Verification of Layered Communication Protocols. Ph.D. Thesis. Cornell University (1997)"},{"issue":"1","key":"20_CR27","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/504087.504090","volume":"11","author":"I. Keidar","year":"2002","unstructured":"Keidar, I., Khazan, R., Lynch, N., Shvartsman, A.: An inheritance-based technique for building simulation proofs incrementally. ACM Trans. Soft. Eng. Methodol.\u00a011(1), 63\u201391 (2002)","journal-title":"ACM Trans. Soft. Eng. Methodol."},{"key":"20_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"20_CR29","unstructured":"Krumvieda, C.: Distributed ML: Abstractions for Efficient and Fault-Tolerant Prgramming. Technical Report, TR93-1376, Cornell University (1993)"},{"issue":"3","key":"20_CR30","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The Temporal Logic of Actions. ACM Toplas\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Toplas"},{"issue":"3","key":"20_CR31","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"B. Liskov","year":"1988","unstructured":"Liskov, B.: Distributed Programming in Argus. CACM\u00a031(3), 300\u2013312 (1988)","journal-title":"CACM"},{"key":"20_CR32","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/2166.357215","volume":"5","author":"B. Liskov","year":"1983","unstructured":"Liskov, B., Schieffler, R.: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM TOPLAS\u00a05, 3 (1983)","journal-title":"ACM TOPLAS"},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Liu, X., Kreitz, C., van Renesse, R., Hickey, J., Hayden, M., Birman, K., Constable, R.: Building Reliable, High-Performance Communication Systems from Components. In: SOSP (1999)","DOI":"10.1145\/319151.319157"},{"key":"20_CR34","unstructured":"Live Objects at Cornell, http:\/\/liveobjects.cs.cornell.edu\/"},{"key":"20_CR35","unstructured":"Loesing, K., Wirtz, G.: An Implementation of Reliable Group Communication Based on the Peer-to-Peer Network JXTA. In: AICCSA 2005 (2005)"},{"key":"20_CR36","doi-asserted-by":"crossref","unstructured":"Lynch, N., Tuttle, M.: Hierarchical correctness proofs for dist.ributed algorithms. In: PODC 1987 (1987)","DOI":"10.1145\/41840.41852"},{"key":"20_CR37","doi-asserted-by":"crossref","unstructured":"Maffeis, S., Schmidt, D.: Constructing Reliable Distributed Communication Systems with CORBA. IEEE Communications Magazine 14 (February 1997)","DOI":"10.1109\/35.565656"},{"key":"20_CR38","first-page":"170","volume-title":"Fragmented Objects for Distri-buted Abstractions","author":"M. Makpangou","year":"1994","unstructured":"Makpangou, M., Gourhant, Y., Le Narzul, J.-P., Shapiro, M.: Fragmented Objects for Distri-buted Abstractions, pp. 170\u2013186. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"20_CR39","unstructured":"Microsoft. Microsoft Office Groove, http:\/\/office.microsoft.com\/en-us\/groove\/"},{"key":"20_CR40","unstructured":"Microsoft. XAML Overview, http:\/\/msdn2.microsoft.com\/en-us\/library\/ms752059.aspx"},{"key":"20_CR41","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, parts I and II. LFCS Report 89-85. University of Edinburgh (June 1989)"},{"key":"20_CR42","doi-asserted-by":"crossref","unstructured":"Miranda, H., Pinto, A., Rodrigues, L.: Appia, a Flexible Protocol Kernel Supporting Multiple Coordinated Channels. In: Proc. of 21st ICDCS, Phoenix, Arizona, pp. 707\u2013710 (2001)","DOI":"10.1109\/ICDSC.2001.919005"},{"key":"20_CR43","doi-asserted-by":"crossref","unstructured":"Montresor, A., Davoli, R., Babaoglu, O.: Enhancing Jini with group communication. In: ICDCS Workshop, April 2001, pp. 69\u201374 (2001)","DOI":"10.1109\/CDCS.2001.918689"},{"key":"20_CR44","doi-asserted-by":"crossref","unstructured":"Necula, G.: Proof-Carrying Code. ACM SIGPLAN-SIGACT POPL 1997 (1997)","DOI":"10.1145\/263699.263712"},{"issue":"2","key":"20_CR45","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/128899.128901","volume":"10","author":"S. O\u2019Malley","year":"1992","unstructured":"O\u2019Malley, S., Peterson, L.: A Dynamic Network Architecture. TOCS\u00a010(2), 110\u2013143 (1992)","journal-title":"TOCS"},{"key":"20_CR46","unstructured":"Ostrowski, K., Birman, K., Dolev, D.: Quicksilver Scalable Multicast. In: 7th IEEE International Symposium on Network Computing and Applications (IEEE NCA 2008) (to appear, 2008)"},{"key":"20_CR47","unstructured":"Ostrowski, K., Birman, K., Dolev, D.: Declarative Reliable Multi-Party Protocols. Cornell University Technical Report, TR2007-2088 (March 2007)"},{"key":"20_CR48","doi-asserted-by":"crossref","unstructured":"Ostrowski, K., Birman, K., Dolev, D.: Extensible Architecture for High-Performance, Scalable, Reliable Publish-Subscribe Eventing and Notification. JWSR v. 4, no 4 (October- December 2007)","DOI":"10.4018\/jwsr.2007100102"},{"key":"20_CR49","unstructured":"Parastatidis, S., Webber, J., Woodman, S., Kuo, D., Greenfield, P.: SOAP Service Description Language (SSDL). Technical Report, University of Newcastle, CS-TR-899 (2005)"},{"key":"20_CR50","doi-asserted-by":"crossref","unstructured":"Reiter, M., Birman, K.: How to securely replicate services. In: TOPLAS, vol.\u00a016(3), pp. 986\u20131009 (1994)","DOI":"10.1145\/177492.177745"},{"key":"20_CR51","doi-asserted-by":"crossref","unstructured":"van Renesse, R., Birman, K., Hayden, M., Vaysburd, A., Karr, D.: Building Adaptive Systems Using Ensemble. Software Practice and Experience. 28(9), pp. 963-979 (August 1998)","DOI":"10.1002\/(SICI)1097-024X(19980725)28:9<963::AID-SPE179>3.0.CO;2-9"},{"issue":"4","key":"20_CR52","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F. Schneider","year":"1990","unstructured":"Schneider, F.: Implementing Fault-Tolerant Services Using the State Machine Approach: a Tutorial. ACM Computng Surveys\u00a022(4), 299\u2013319 (1990)","journal-title":"ACM Computng Surveys"},{"key":"20_CR53","doi-asserted-by":"crossref","unstructured":"Smith, D., Kay, A., Raab, A., Reed, D.: Croquet: a collaboration system architecture. Creating, Connecting and Collaborating Through Computing, C5 2003, p. 2\u20139 (2003)","DOI":"10.1109\/C5.2003.1222325"},{"key":"20_CR54","doi-asserted-by":"crossref","unstructured":"Smith, R., Wolczko, M., Ungar, D.: From Kansas to Oz: Collaborative Debugging When a Shared World Breaks. CACM, 72\u201378 (1997)","DOI":"10.1145\/248448.248461"},{"key":"20_CR55","doi-asserted-by":"crossref","unstructured":"Snyder, A.: Encapsulation and Inheritance in Object-Oriented Programming Languages. In: OOPLSA 1986","DOI":"10.1145\/28697.28702"},{"issue":"1","key":"20_CR56","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/4434.749137","volume":"7","author":"M. Steen van","year":"1999","unstructured":"van Steen, M., Homburg, P., Tanenbaum, A.: Globe: A Wide Area Distributed System. IEEE Concurrency\u00a07(1), 70\u201378 (1999)","journal-title":"IEEE Concurrency"},{"key":"20_CR57","unstructured":"Sun Microsystems, Inc. JXTA v2.0 Protocols Specification, http:\/\/www.jxta.org"},{"issue":"7","key":"20_CR58","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/306549.306582","volume":"42","author":"J. Waldo","year":"1999","unstructured":"Waldo, J.: The Jini architecture for network-centric computing. CACM\u00a042(7), 76\u201382 (1999)","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2008 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70592-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T12:15:28Z","timestamp":1738325728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70592-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705918","9783540705925"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70592-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}