{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:56:52Z","timestamp":1780563412861,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":57,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540300076","type":"print"},{"value":"9783540314837","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580850_12","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T05:50:36Z","timestamp":1133848236000},"page":"195-229","source":"Crossref","is-referenced-by-count":57,"title":["Concurrency Among Strangers"],"prefix":"10.1007","author":[{"given":"Mark S.","family":"Miller","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"E. Dean","family":"Tribble","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"Shapiro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Amir, Y.: Replication Using Group Communication Over a Partitioned Network. PhD thesis (1995)"},{"key":"12_CR2","unstructured":"Bejar, A.: The Electric Communities distributed garbage collector (1996), http:\/\/www.crockford.com\/ec\/dgc.html"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/154766.155361","volume-title":"HOPL-II: The second ACM SIGPLAN conference on History of programming languages","author":"P.B. Hansen","year":"1993","unstructured":"Hansen, P.B.: Monitors and concurrent Pascal: a personal history. In: HOPL-II: The second ACM SIGPLAN conference on History of programming languages, pp. 1\u201335. ACM Press, New York (1993)"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/41457.37515","volume-title":"SOSP 1987: Proceedings of the eleventh ACM Symposium on Operating systems principles","author":"K. Birman","year":"1987","unstructured":"Birman, K., Joseph, T.: Exploiting virtual synchrony in distributed systems. In: SOSP 1987: Proceedings of the eleventh ACM Symposium on Operating systems principles, pp. 123\u2013138. ACM Press, New York (1987)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/191080.191133","volume-title":"OOPSLA 1994: Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications","author":"P. Bogle","year":"1994","unstructured":"Bogle, P., Liskov, B.: Reducing cross domain call overhead using batched futures. In: OOPSLA 1994: Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, pp. 341\u2013354. ACM Press, New York (1994)"},{"issue":"6","key":"12_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1064978.1065042","volume":"40","author":"H.-J. Boehm","year":"2005","unstructured":"Boehm, H.-J.: Threads cannot be implemented as a library. SIGPLAN Not.\u00a040(6), 261\u2013268 (2005)","journal-title":"SIGPLAN Not."},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst.\u00a03(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/571637.571640","volume":"20","author":"M. Castro","year":"2002","unstructured":"Castro, M., Liskov, B.: Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst.\u00a020(4), 398\u2013461 (2002)","journal-title":"ACM Trans. Comput. Syst."},{"key":"12_CR9","unstructured":"Close, T.: Waterken YURL (2004), http:\/\/www.waterken.com\/dev\/YURL\/httpsy\/"},{"key":"12_CR10","unstructured":"Close, T.: web-calculus (2004), http:\/\/www.waterken.com\/dev\/Web\/"},{"key":"12_CR11","unstructured":"Dennis, J.B., Van Horn, E.C.: Programming semantics for multiprogrammed computations. Technical Report MIT\/LCS\/TR-23, M.I.T. Laboratory for Computer Science (1965)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Donnelley, J.: A Distributed Capability Computing System (1976)","DOI":"10.17487\/rfc0712"},{"key":"12_CR13","unstructured":"Englander, R.: Developing Java Beans. O\u2019Reilly & Associates, Inc., 981 Chestnut Street, Newton, MA 02164, USA (1997)"},{"key":"12_CR14","unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. PhD thesis, Chair-Richard N. Taylor (2000)"},{"key":"12_CR15","volume-title":"Design Patterns, elements of reusable object-oriented software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnon, R., Vlissides, J.: Design Patterns, elements of reusable object-oriented software. Addison-Wesley, Reading (1994)"},{"key":"12_CR16","unstructured":"Goldberg, A., Kay, A.C.: Smalltalk-72 instruction manual, Xerox Palo Alto Research Center (March 1976)"},{"key":"12_CR17","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, Reading (1983)"},{"issue":"4","key":"12_CR18","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/858336.858337","volume":"19","author":"N. Hardy","year":"1985","unstructured":"Hardy, N.: KeyKOS architecture. SIGOPS Oper. Syst. Rev.\u00a019(4), 8\u201325 (1985)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"12_CR19","first-page":"235","volume-title":"Proceedings of the 3rd International Joint Conference on Artificial Intelligence","author":"C. Hewitt","year":"1973","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: Nilsson, N.J. (ed.) Proceedings of the 3rd International Joint Conference on Artificial Intelligence, Standford, CA, August 1973, pp. 235\u2013245. William Kaufmann, San Francisco (1973)"},{"issue":"4","key":"12_CR20","first-page":"223","volume":"10","author":"C. Hewitt","year":"1985","unstructured":"Hewitt, C.: The challenge of open systems: current logic programming methods may be insufficient for developing the intelligent systems of the future. BYTE\u00a010(4), 223\u2013242 (1985)","journal-title":"BYTE"},{"key":"12_CR21","unstructured":"Hoare, C.A.R.: Record handling, in Algol Bulletin 21.3.6 (1965)"},{"issue":"10","key":"12_CR22","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: an operating system structuring concept. Commun. ACM\u00a017(10), 549\u2013557 (1974)","journal-title":"Commun. ACM"},{"issue":"8","key":"12_CR23","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"12_CR24","unstructured":"IBM Corporation. IBM System 360 Principles of Operation. IBM Corporation, San Jose, CA, USA, 8th edn. (1968)"},{"issue":"3","key":"12_CR25","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/155360.155364","volume":"28","author":"A.C. Kay","year":"1993","unstructured":"Kay, A.C.: The early history of Smalltalk. SIGPLAN not.\u00a028(3), 69\u201395 (1993)","journal-title":"SIGPLAN not."},{"key":"12_CR26","unstructured":"Kay, A.: Prototypes vs classes (1998), http:\/\/lists.squeakfoundation.org\/pipermail\/-squeak-dev\/1998-October\/017019.html"},{"key":"12_CR27","unstructured":"Kahn, K.M., Tribble, E.D., Miller, M.S., Bobrow, D.G.: Vulcan: Logical concurrent objects. In: Research Directions in Object-Oriented Programming, pp. 75\u2013112 (1987)"},{"issue":"2","key":"12_CR28","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L. Lamport","year":"1998","unstructured":"Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst.\u00a016(2), 133\u2013169 (1998)","journal-title":"ACM Trans. Comput. Syst."},{"key":"12_CR29","unstructured":"Lefkowitz, G.: Generalization of deferred execution in Python, http:\/\/python.org\/pycon\/papers\/deferex\/"},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/53990.54016","volume-title":"PLDI 1988: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation","author":"B. Liskov","year":"1988","unstructured":"Liskov, B., Shrira, L.: Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. In: PLDI 1988: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, pp. 260\u2013267. ACM Press, New York (1988)"},{"key":"12_CR31","first-page":"133","volume-title":"The Ecology of Computation","author":"M. Miller","year":"1988","unstructured":"Miller, M., Drexler, K.E.: Markets and computation: Agoric open systems. In: Huberman, B. (ed.) The Ecology of Computation, pp. 133\u2013176. North-Holland, Amsterdam (1988)"},{"key":"12_CR32","unstructured":"Miller, M.S.: Transcript of talk: The promise system (1992), http:\/\/sunless-sea.net\/Transcripts\/promise.html"},{"key":"12_CR33","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":"12_CR34","doi-asserted-by":"crossref","unstructured":"Miller, M.S., Shapiro, J.S.: Paradigm Regained: Abstraction mechanisms for access control. In: ASIAN, pp. 224\u2013242 (2003)","DOI":"10.1007\/978-3-540-40965-6_15"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Miller, M.S., Tulloh, B., Shapiro, J.S.: The Structure of Authority: Why security is not a separable concern. In: MOZ, pp. 2\u201320 (2004)","DOI":"10.1007\/978-3-540-31845-3_2"},{"key":"12_CR36","unstructured":"Miller, M.S., Yee, K.-P., Shapiro, J.: Capability Myths Demolished (2003)"},{"issue":"1","key":"12_CR37","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/280559.280567","volume":"32","author":"\u00d6. Babao\u011flu","year":"1998","unstructured":"Babao\u011flu, \u00d6., Davoli, R., Montresor, A., Segala, R.: System support for partition-aware network applications. SIGOPS Oper. Syst. Rev.\u00a032(1), 41\u201356 (1998)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"12_CR38","unstructured":"Reed, D.P.: Naming and synchronization in a decentralized computer system, January 01 (1978)"},{"key":"12_CR39","unstructured":"Reid, K.: E on Common Lisp (2005), http:\/\/homepage.mac.com\/kpreid\/elang\/e-on-cl\/"},{"key":"12_CR40","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)"},{"key":"12_CR41","unstructured":"Shapiro, E.: A subset of Concurrent Prolog and its interpreter. Technical Report TR-003, Institute for New Generation Computer Technology (ICOT) (January 1983)"},{"key":"12_CR42","unstructured":"Stiegler, M., Karp, A.H., Yee, K.-P., Miller, M.S.: Polaris: Virus safe computing for Windows XP. Technical Report HPL-2004-221, Hewlett Packard Laboratories (2004)"},{"key":"12_CR43","first-page":"392","volume-title":"Concurrent Prolog: Collected Papers","author":"E. Shapiro","year":"1987","unstructured":"Shapiro, E., Mierowsky, C.: Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog. In: Shapiro, E. (ed.) Concurrent Prolog: Collected Papers, vol.\u00a0I, pp. 392\u2013413. MIT Press, London (1987)"},{"issue":"1","key":"12_CR44","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0304-3975(01)00398-X","volume":"291","author":"J. Sussman","year":"2003","unstructured":"Sussman, J., Marzullo, K.: The bancomat problem: an example of resource allocation in a partitionable asynchronous system. Theor. Comput. Sci.\u00a0291(1), 103\u2013131 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"9","key":"12_CR45","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1109\/PROC.1975.9939","volume":"63","author":"J.H. Saltzer","year":"1975","unstructured":"Saltzer, J.H., Schroeder, M.D.: The protection of information in computer system. Proceedings of the IEEE\u00a063(9), 1278\u20131308 (1975)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR46","unstructured":"Shroff, P., Smith, S.F.: Type inference for first-class messages with match-functions (2004)"},{"key":"12_CR47","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1145\/319151.319163","volume-title":"SOSP \u201999: Proceedings of the seventeenth ACM symposium on Operating systems principles","author":"J.S. Shapiro","year":"1999","unstructured":"Shapiro, J.S., Smith, J.M., Farber, D.J.: EROS: a fast capability system. In: SOSP 1999: Proceedings of the seventeenth ACM symposium on Operating systems principles, pp. 170\u2013185. ACM Press, New York (1999)"},{"issue":"1","key":"12_CR48","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y., Takeuchi, A.: Object oriented programming in concurrent prolog. New Generation Comput.\u00a01(1), 25\u201348 (1983)","journal-title":"New Generation Comput."},{"key":"12_CR49","unstructured":"Stiegler, M.: The E language in a walnut (2004), http:\/\/www.skyhunter.com\/marcs\/ewalnut.html"},{"key":"12_CR50","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":"12_CR51","doi-asserted-by":"crossref","unstructured":"Spiessens, F., Van Roy, P.: A practical formal model for safety analysis in Capability-Based systems. In: LNCS, Springer, Heidelberg (2005), Presentation available at www.info.ucl.ac.be\/people\/fsp\/auredsysfinal.mov","DOI":"10.1007\/11580850_14"},{"key":"12_CR52","unstructured":"Tulloh, B., Miller, M.S.: Institutions as abstraction boundaries. In: High, J. (ed.) Social Learning: Essays in Honor of Don Lavoie (2002)"},{"key":"12_CR53","unstructured":"Tribble, E.D., Miller, M.S., Hardy, N., Krieger, D.: Joule: Distributed application foundations. Technical Report ADd03.4P, Agorics Inc., Los Altos (December 1995), http:\/\/www.agorics.com\/Library\/joule.html"},{"key":"12_CR54","unstructured":"Tribble, E.D., Miller, M.S., Kahn, K.M., Bobrow, D.G., Abbott, C., Shapiro, E.Y.: Channels: A generalization of streams. In: ICLP, pp. 839\u2013857 (1987)"},{"key":"12_CR55","first-page":"519","volume":"35","author":"F. Hayek von","year":"1945","unstructured":"von Hayek, F.: The uses of knowledge in society. American Economic Review\u00a035, 519\u2013530 (1945)","journal-title":"American Economic Review"},{"key":"12_CR56","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)"},{"key":"12_CR57","unstructured":"Bryce\u00a0\u201cZooko\u201d Wilcox-O\u2019Hearn. Deadlock-free (2001), http:\/\/www.eros-os.org\/pipermail\/e-lang\/2001-July\/005410.html"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11580850_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T10:58:58Z","timestamp":1586602738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580850_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300076","9783540314837"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/11580850_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}