{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:28Z","timestamp":1725791008715},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548321"},{"type":"electronic","value":"9783642548338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54833-8_25","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:37:17Z","timestamp":1395394637000},"page":"473-492","source":"Crossref","is-referenced-by-count":6,"title":["The Network as a Language Construct"],"prefix":"10.1007","author":[{"given":"Tony","family":"Garnock-Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Tobin-Hochstadt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: Proc. 3rd Int. Joint Conf. on Artificial Intelligence, pp. 235\u2013245. Morgan Kaufmann Publishers Inc. (August 1973)"},{"key":"25_CR2","unstructured":"Ericsson(AB): Erlang\/OTP Design Principles (2012), http:\/\/www.erlang.org\/doc\/design_principles\/des_princ.html"},{"issue":"2-3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P. Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala Actors: Unifying thread-based and event-based programming. Theoretical Computer Science\u00a0410(2-3), 202\u2013220 (2009)","journal-title":"Theoretical Computer Science"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A Foundation for Actor Computation. J. Functional Programming\u00a07(1) (1997)","DOI":"10.1017\/S095679689700261X"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Li, P., Zdancewic, S.: Combining Events and Threads for Scalable Network Services. In: Proc. Conf. on Programming Language Design and Implementation, pp. 189\u2013199 (2007)","DOI":"10.1145\/1273442.1250756"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1992","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115, 38\u201394 (1992)","journal-title":"Information and Computation"},{"key":"25_CR7","unstructured":"Day, J.: Patterns in Network Architecture: A Return to Fundamentals. Prentice Hall (2008)"},{"key":"25_CR8","unstructured":"Felleisen, M., Findler, R.B., Flatt, M., Krishnamurthi, S.: A Functional I\/O System. In: ICFP (2009)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Zave, P., Rexford, J.: The geomorphic view of networking: A network model and its uses. In: Proc. of the Middleware for Next Generation Internet Computing Workshop (2012)","DOI":"10.1145\/2405178.2405179"},{"key":"25_CR10","unstructured":"Object Management Group: Data Distribution Service for Real-time Systems (January 2007)"},{"issue":"2","key":"25_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P.T. Eugster","year":"2003","unstructured":"Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The many faces of publish\/subscribe. ACM Computing Surveys\u00a035(2), 114\u2013131 (2003)","journal-title":"ACM Computing Surveys"},{"key":"25_CR12","unstructured":"Waldo, J., Wyant, G., Wollrath, A., Kendall, S.: A Note on Distributed Computing. Sun Microsystems Laboratories Technical Report SMLI TR-94-29 (November 1994)"},{"key":"25_CR13","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall (1996)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Saint-Andre, P.: Extensible Messaging and Presence Protocol (XMPP): Core. RFC 6120 (March 2011)","DOI":"10.17487\/rfc6120"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Heart, F.E., Kahn, R.E., Ornstein, S.M., Crowther, W.R., Walden, D.C.: The interface message processor for the ARPA computer network. In: Proc. Spring Joint Computer Conference (AFIPS 19870), pp. 551\u2013567 (May 1970)","DOI":"10.1145\/1476936.1477021"},{"key":"25_CR16","unstructured":"Ene, C., Muntean, T.: A Broadcast-based Calculus for Communicating Systems. In: Proc. of the Workshop on Formal Methods for Parallel Programming (2001)"},{"key":"25_CR17","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex. The MIT Press (2009)"},{"key":"25_CR18","unstructured":"The Coq development team: The Coq proof assistant reference manual. LogiCal Project, Version 8.0 (2004)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Partridge, C., Mendez, T., Milliken, W.: Host Anycasting Service. RFC 1546 (Informational) (November 1993)","DOI":"10.17487\/rfc1546"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proc. Symp. on Principles of Programming Languages, pp. 273\u2013284 (January 2008)","DOI":"10.1145\/1328897.1328472"},{"key":"25_CR21","unstructured":"Flatt, M.: PLT: Reference: Racket. Technical Report PLT-TR-2010-1, PLT Inc. (2010), http:\/\/racket-lang.org\/tr1\/"},{"key":"25_CR22","unstructured":"Lieberman, H.: Concurrent Object-Oriented Programming in Act 1. In: Yonezawa, A., Tokoro, M. (eds.) Object-Oriented Concurrent Programming. MIT Press (1987)"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Ylonen, T., Lonvick, C.: The Secure Shell (SSH) Protocol Architecture. RFC 4251 (January 2006)","DOI":"10.17487\/rfc4251"},{"key":"25_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-27269-1_2","volume-title":"Formal Aspects of Component Software","author":"L. Caires","year":"2012","unstructured":"Caires, L., Vieira, H.T.: Analysis of Service Oriented Software Systems with the Conversation Calculus. In: Barbosa, L.S., Lumpe, M. (eds.) FACS 2010. LNCS, vol.\u00a06921, pp. 6\u201333. Springer, Heidelberg (2012)"},{"key":"25_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-78739-6_21","volume-title":"Programming Languages and Systems","author":"H.T. Vieira","year":"2008","unstructured":"Vieira, H.T., Caires, L., Seco, J.C.: The conversation calculus: A model of service-oriented computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 269\u2013283. Springer, Heidelberg (2008)"},{"issue":"3","key":"25_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1006\/jpdc.1994.1060","volume":"21","author":"C.J. Callsen","year":"1994","unstructured":"Callsen, C.J., Agha, G.: Open Heterogeneous Computing in ActorSpace. J. Parallel and Distributed Computing\u00a021(3), 289\u2013300 (1994)","journal-title":"J. Parallel and Distributed Computing"},{"key":"25_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-48919-3_13","volume-title":"Coordination Languages and Models","author":"C.A. Varela","year":"1999","unstructured":"Varela, C.A., Agha, G.: A Hierarchical Model for Coordination of Concurrent Activities. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol.\u00a01594, pp. 166\u2013182. Springer, Heidelberg (1999)"},{"issue":"1","key":"25_CR28","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"key":"25_CR29","unstructured":"Fournet, C., Gonthier, G.: The Join Calculus: a Language for Distributed Mobile Programming. In: Applied Semantics: International Summer School (2000)"},{"key":"25_CR30","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press (October 2003)"},{"key":"25_CR31","unstructured":"Armstrong, J.: Making reliable distributed systems in the presence of software errors. PhD thesis, Royal Institute of Technology, Stockholm (2003)"},{"key":"25_CR32","unstructured":"Miller, M.S.: Robust composition: Towards a unified approach to access control and concurrency control. PhD thesis, Johns Hopkins University (2006)"},{"key":"25_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-37036-6_1","volume-title":"Programming Languages and Systems","author":"M.S. Miller","year":"2013","unstructured":"Miller, M.S., Van Cutsem, T., Tulloh, B.: Distributed electronic rights in javaScript. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol.\u00a07792, pp. 1\u201320. Springer, Heidelberg (2013)"},{"key":"25_CR34","unstructured":"Yoo, S., Killian, C., Kelly, T., Cho, H.K., Plite, S.: Composable Reliability for Asynchronous Systems. In: Proc. USENIX Annual Technical Conference (June 2012)"},{"key":"25_CR35","doi-asserted-by":"crossref","unstructured":"Van Cutsem, T., Mostinckx, S., Gonzalez Boix, E., Dedecker, J., De Meuter, W.: AmbientTalk: Object-oriented Event-driven Programming in Mobile Ad hoc Networks. In: Intl. Conf. of the Chilean Society of Computer Science (SCCC), pp. 3\u201312. IEEE (November 2007)","DOI":"10.1109\/SCCC.2007.12"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54833-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:24:50Z","timestamp":1648664690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54833-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548321","9783642548338"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54833-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}