{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194096},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_15","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T23:27:08Z","timestamp":1167348428000},"page":"244-260","source":"Crossref","is-referenced-by-count":6,"title":["A Virtual Machine for a Process Calculus"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Lopes","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Objective CAML Home Page, http:\/\/pauillac.inria.fr\/ocaml"},{"key":"15_CR2","unstructured":"The JoCaml Home Page, http:\/\/pauillac.inria.fr\/jocaml"},{"key":"15_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"key":"15_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"15_CR5","volume-title":"Research Directions on Object-Oriented Programming","author":"G. Agha","year":"1981","unstructured":"Agha, G., Hewitt, C.: Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming. In: Shiver, Wegner (eds.) Research Directions on Object-Oriented Programming. MIT Press, Cambridge (1981)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-63383-9_92","volume-title":"Coordination Languages and Models","author":"R.M. Amadio","year":"1997","unstructured":"Amadio, R.M.: An Asynchronous Model of Locality, Failure, and Process Mobility. In: Garlan, D., Le M\u00e9tayer, D. (eds.) COORDINATION 1997. LNCS, vol.\u00a01282, pp. 374\u2013391. Springer, Heidelberg (1997)"},{"key":"15_CR7","first-page":"372","volume-title":"Proceedings of the 23rd ACM Symposium on Principles of Programming Languages","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The Reflexive Chemical Abstract Machine and the Join-Calculus. In: Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pp. 372\u2013385. ACM, New York (1996)"},{"key":"15_CR8","unstructured":"Fournet, C., Maranget, L.: The Join-Calculus Language (release 1.02). Institute National de Recherche en Informatique et Automatique (June 1997)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 141\u2013162. Springer, Heidelberg (1991)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Janson, S.: AKL - A Multiparadigm Programming Language. PhD thesis, SICS Swedish Institute of Computer Science, Uppsala University (1994)","DOI":"10.1007\/978-3-642-85983-0_16"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S. Jones","year":"1992","unstructured":"Jones, S.: Implementing Lazy Functional Languages on Stock Hardware: the Spineless Tagless G-machine. Journal of Functional Programming\u00a02(2), 127\u2013202 (1992)","journal-title":"Journal of Functional Programming"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Kobayashi, N.: Quasi-Linear Types. In: 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1999, pp. 29\u201342 (1999)","DOI":"10.1145\/292540.292546"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Kobayashi, N., Pierce, B., Turner, D.: Linearity and the \u03c0-calculus. In: ACM Symposium on Principles of Programming Languages (1996)","DOI":"10.1145\/237721.237804"},{"key":"15_CR14","unstructured":"Lopes, L., Silva, F., Figueira, A., Vasconcelos, V.: DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In: 5th Mobile Object Systems Workshop (1999) part of ECOOP 1999"},{"key":"15_CR15","unstructured":"Lopes, L., Vasconcelos, V.: An Abstract Machine for an Object-Calculus. Technical report, DCC-FC LIACC, Universidade do Porto (May 1997)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Mehl, M., Scheidhauer, R., Schulte, C.: An Abstract Machine for Oz. Technical report, German Research Center for Artificial Intelligence (DFKI) (June 1995)","DOI":"10.1007\/BFb0026819"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes (parts I and II). Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"15_CR18","first-page":"195","volume-title":"Proceedings of Functional Programming Workshop, Workshops in Computing","author":"W. Partain","year":"1992","unstructured":"Partain, W.: The nofib Benchmark Suite of Haskell Programs. In: Launchbury, J., Sansom, P.M. (eds.) Proceedings of Functional Programming Workshop, Workshops in Computing, pp. 195\u2013202. Springer, Heidelberg (1992)"},{"key":"15_CR19","unstructured":"Pierce, B., Turner, D.: Pict: A Programming Language Based on the Pi-Calculus. Technical Report CSCI 476, Computer Science Department, Indiana University (1997); in Plotkin, G., Stirling, C., Toft e, M. (eds.) Proof, Language and Interaction: Essays in H onour of Robin Milner. MIT Press, Cambridge (1999) (to appear)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1007\/BFb0002782","volume-title":"Euro-Par \u201997 Parallel Processing","author":"A. Ravara","year":"1997","unstructured":"Ravara, A., Vasconcelos, V.T.: Behavioural types for a calculus of concurrent objects. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol.\u00a01300, pp. 554\u2013561. Springer, Heidelberg (1997)"},{"key":"15_CR21","unstructured":"Sangiorgi, D.: The name discipline of receptiveness. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256. Springer, Heidelberg (1997)"},{"key":"15_CR22","unstructured":"Turner, D.: The Polymorphic Pi-calculus: Theory and Implementation. PhD thesis, University of Edinburgh (1995)"},{"key":"15_CR23","unstructured":"Vasconcelos, V., Bastos, R.: Core-TyCO - The Language Definition. Technical Report TR-98-3, DI \/ FCUL (March 1998)"},{"key":"15_CR24","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"3rd International Workshop on High-Level Concurrent Languages","author":"V. Vasconcelos","year":"1998","unstructured":"Vasconcelos, V., Lopes, L., Silva, F.: Distribution and mobility with lexical scoping in process calculi. In: 3rd International Workshop on High-Level Concurrent Languages. Electronic Notes in Theoretical Computer Science, vol.\u00a016. Elsevier Science Publishers, Amsterdam (1998)"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-57342-9_89","volume-title":"Object Technologies for Advanced Software","author":"V. Vasconcelos","year":"1993","unstructured":"Vasconcelos, V., Tokoro, M.: A Typing System for a Calculus of Objects. In: Nishio, S., Yonezawa, A. (eds.) ISOTAS 1993. LNCS, vol.\u00a0742, pp. 460\u2013474. Springer, Heidelberg (1993)"},{"issue":"2","key":"15_CR26","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"Walker, D.: Objects in the \u03c0-calculus. Journal of Information and Computation\u00a0116(2), 253\u2013271 (1995)","journal-title":"Journal of Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,7]],"date-time":"2021-08-07T03:40:37Z","timestamp":1628307637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/10704567_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}