{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:51:53Z","timestamp":1725544313202},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540334385"},{"type":"electronic","value":"9783540334392"}],"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\/11737414_2","type":"book-chapter","created":{"date-parts":[[2006,3,15]],"date-time":"2006-03-15T06:54:37Z","timestamp":1142405677000},"page":"2-12","source":"Crossref","is-referenced-by-count":2,"title":["Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place"],"prefix":"10.1007","author":[{"given":"Peter","family":"Van Roy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Agorics, Inc. (2004), http:\/\/www.agorics.com"},{"key":"2_CR2","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1996","unstructured":"Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs, 2nd edn. MIT Press, Cambridge (1996)","edition":"2"},{"key":"2_CR3","unstructured":"Al-Metwally, M.: Design and Implementation of a Fault-Tolerant Transactional Object Store. PhD thesis, Al-Azhar University, Cairo, Egypt (December 2003)"},{"key":"2_CR4","unstructured":"Armstrong, J.: Making reliable distributed systems in the presence of software errors. PhD thesis, Royal Institute of Technology (KTH), Kista, Sweden (November 2003)"},{"key":"2_CR5","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Williams, M., Wikstr\u00f6m, C., Virding, R.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"2_CR6","first-page":"286","volume-title":"Principles of Programming Languages (POPL)","author":"L. Cardelli","year":"1995","unstructured":"Cardelli, L.: A language with distributed scope. In: Principles of Programming Languages (POPL), San Francisco, CA, pp. 286\u2013297. ACM Press, New York (1995)"},{"key":"2_CR7","unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: 6th Symposium on Operating Systems Design and Implementation (OSDI 2004), December 2004, pp. 137\u2013150 (2004)"},{"key":"2_CR8","unstructured":"Ericsson: Open Telecom Platform\u2014User\u2019s Guide, Reference Manual, Installation Guide, OS Specific Parts. In: Telefonaktiebolaget LM Ericsson, Stockholm, Sweden (1996)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-52592-0_60","volume-title":"ESOP \u201990","author":"M. Felleisen","year":"1990","unstructured":"Felleisen, M.: On the expressive power of programming languages. In: Jones, N.D. (ed.) ESOP 1990. LNCS, vol.\u00a0432, pp. 134\u2013151. Springer, Heidelberg (1990)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/858336.858337","volume":"19","author":"N. Hardy","year":"1985","unstructured":"Hardy, N.: KeyKOS architecture. ACM SIGOPS Operating Systems Review\u00a019, 8\u201325 (1985)","journal-title":"ACM SIGOPS Operating Systems Review"},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/319301.319347","volume":"21","author":"S. Haridi","year":"1999","unstructured":"Haridi, S., Roy, P.V., Brand, P., Mehl, M., Scheidhauer, R., Smolka, G.: Efficient logic variables for distributed computing. ACM Transactions on Programming Languages and Systems\u00a021(3), 569\u2013626 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF03037481","volume":"16","author":"S. Haridi","year":"1998","unstructured":"Haridi, S., Roy, P.V., Brand, P., Schulte, C.: Programming languages for distributed applications. New Generation Computing\u00a016(3), 223\u2013261 (1998)","journal-title":"New Generation Computing"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence\u00a08(3), 323\u2013364 (1977)","journal-title":"Journal of Artificial Intelligence"},{"key":"2_CR14","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: 3rd International Joint Conference on Artificial Intelligence (IJCAI), August 1973, pp. 235\u2013245 (1973)"},{"issue":"5","key":"2_CR15","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1145\/359581.359586","volume":"20","author":"R.C. Holt","year":"1977","unstructured":"Holt, R.C., Wortman, D.B., Barnard, D.T., Cordy, J.R.: SP\/k: A system for teaching computer programming. Communications of the ACM\u00a020(5), 301\u2013309 (1977)","journal-title":"Communications of the ACM"},{"key":"2_CR16","first-page":"211","volume-title":"Trends in Object-Based Concurrent Computing","author":"S. Janson","year":"1993","unstructured":"Janson, S., Montelius, J., Haridi, S.: Ports for Objects in Concurrent Logic Programs. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Trends in Object-Based Concurrent Computing, pp. 211\u2013231. MIT Press, Cambridge (1993)"},{"key":"2_CR17","unstructured":"Lambda the Ultimate discussion. State and modularity (October 2003), http:\/\/www.lambda-the-ultimate.org\/classic\/message9361.html"},{"key":"2_CR18","volume-title":"Concurrent Programming in Java","author":"D. Lea","year":"2000","unstructured":"Lea, D.: Concurrent Programming in Java, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/3-540-45472-1_24","volume-title":"Financial Cryptography","author":"M.S. Miller","year":"2001","unstructured":"Miller, M.S., Morningstar, C., Frantz, B.: Capability-based financial instruments. In: Frankel, Y. (ed.) FC 2000. LNCS, vol.\u00a01962, pp. 349\u2013378. Springer, Heidelberg (2001)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/11580850_12","volume-title":"Trustworthy Global Computing","author":"M.S. Miller","year":"2005","unstructured":"Miller, M.S., Shapiro, J.: Concurrency among strangers. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 195\u2013229. Springer, Heidelberg (2005)"},{"key":"2_CR21","unstructured":"Miller, M.S., Stiegler, M., Close, T., Frantz, B., Yee, K.-P., Morningstar, C., Shapiro, J., Hardy, N., Tribble, E.D., Barnes, D., Bornstien, D., Wilcox-O\u2019Hearn, B., Stanley, T., Reid, K., Darius Bacon, E.: Open source distributed capabilities (2001), Available at www.erights.org"},{"key":"2_CR22","volume-title":"Flow-Based Programming: A New Approach to Application Development","author":"J.P. Morrison","year":"1994","unstructured":"Morrison, J.P.: Flow-Based Programming: A New Approach to Application Development. Van Nostrand Reinhold, New York (1994)"},{"issue":"3","key":"2_CR23","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E.: The family of concurrent logic programming languages. ACM Computing Surveys\u00a021(3), 413\u2013510 (1989)","journal-title":"ACM Computing Surveys"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-31845-3_3","volume-title":"Multiparadigm Programming in Mozart\/Oz","author":"F. Spiessens","year":"2005","unstructured":"Spiessens, F., Van Roy, P.: The Oz-E project: Design guidelines for a secure multiparadigm programming language. In: Van Roy, P. (ed.) MOZ 2004. LNCS, vol.\u00a03389, pp. 21\u201340. Springer, Heidelberg (2005)"},{"key":"2_CR25","unstructured":"Stiegler, M.: The SkyNet virus: Why it is unstoppable; How to stop it. Talk available, http:\/\/www.erights.org\/talks\/skynet\/"},{"key":"2_CR26","volume-title":"Concepts, Techniques, and Models of Computer Programming","author":"P. Roy Van","year":"2004","unstructured":"Van Roy, P., Haridi, S.: Concepts, Techniques, and Models of Computer Programming. MIT Press, Cambridge (2004)"},{"issue":"5","key":"2_CR27","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1145\/265943.265972","volume":"19","author":"P. Roy Van","year":"1997","unstructured":"Van Roy, P., Haridi, S., Brand, P., Smolka, G., Mehl, M., Scheidhauer, R.: Mobile objects in Distributed Oz. ACM Transactions on Programming Languages and Systems\u00a019(5), 804\u2013851 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"#cr-split#-2_CR28.1","doi-asserted-by":"crossref","unstructured":"Waldo, J., Wyant, G., Wollrath, A., Kendall, S.C.: A note on distributed computing. In: Second International Workshop on Mobile Object Systems\u2013 Towards the Programmable Internet, July 1996, pp. 49\u201364 (1996);","DOI":"10.1007\/3-540-62852-5_6"},{"key":"#cr-split#-2_CR28.2","unstructured":"Originally published at Sun Microsystems Laboratories in 1994"},{"key":"2_CR29","unstructured":"Wiger, U.: Four-fold increase in productivity and quality \u2013 industrial-strengh functional programming in telecom-class products. In: Proceedings of the 2001 Workshop on Formal Design of Safety Critical Embedded Systems (2001)"},{"key":"2_CR30","unstructured":"Wikipedia, the free encyclopedia. Entry \u201cvirtual economy\u201d (January 2006), http:\/\/www.en.wikipedia.org\/wiki\/Virtual_economy"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11737414_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T06:20:15Z","timestamp":1555482015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11737414_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540334385","9783540334392"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11737414_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}