{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:10:13Z","timestamp":1761621013085,"version":"3.37.0"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1998,9]]},"DOI":"10.1007\/bf03037481","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:04:17Z","timestamp":1240542257000},"page":"223-261","source":"Crossref","is-referenced-by-count":33,"title":["Programming languages for distributed applications"],"prefix":"10.1007","volume":"16","author":[{"given":"Seif","family":"Haridi","sequence":"first","affiliation":[]},{"given":"Peter","family":"Van Roy","sequence":"additional","affiliation":[]},{"given":"Per","family":"Brand","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Schulte","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037481_CR1","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1985","unstructured":"Abelson, H., Sussman, G. J., and Sussman, J.,Structure and Interpretation of Computer Programs, MIT Press, Cambridge, Mass., 1985."},{"key":"BF03037481_CR2","doi-asserted-by":"crossref","unstructured":"Amoroso, E. G.,Fundamentals of Computer Security Technology, Prentice-Hall, 1994.","DOI":"10.1016\/0142-0496(94)90187-2"},{"key":"BF03037481_CR3","unstructured":"Andrews, J., \u201cThe Logical Semantics of the Prolog Cut,\u201d inInternational Logic Programming Symposium (ILPS 95), December 1995."},{"key":"BF03037481_CR4","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Williams, M., Wikstr\u00f6m, C., and Virding, R.,Concurrent Programming in Erlang, Prentice-Hall, Englewood Cliffs, N.J., 1996."},{"key":"BF03037481_CR5","unstructured":"Axling, T., Haridi, S., and Fahlen, L., \u201cConcurrent Constraint Programming Virtual Reality Applications,\u201d in the2nd International Conference on Military Applications of Synthetic Environments and Virtual Reality (MASEVR 95), Stockholm, Sweden, 1995. Defence Material Administration."},{"key":"BF03037481_CR6","unstructured":"Brand, P., Franzen, N., Klintskog, E., and Haridi, S., \u201cA Platform for Constructing Virtual Spaces,\u201d inVirtual Worlds and Simulation Conference (VWSIM \u201998), January 1998."},{"issue":"1","key":"BF03037481_CR7","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"Cardelli, L., \u201cA Language with Distributed Scope,\u201dACM Transactions on Computer Systems, 8, 1, pp. 27\u201359, January 1995. Also appeared in POPL 95.","journal-title":"ACM Transactions on Computer Systems"},{"key":"BF03037481_CR8","volume-title":"Distributed Operating Systems and Algorithms","author":"R. Chow","year":"1997","unstructured":"Chow, R. and Johnson, T.,Distributed Operating Systems and Algorithms, Addison-Wesley, San Francisco, Calif., 1997."},{"key":"BF03037481_CR9","volume-title":"Open Distributed Systems","author":"J. Crowcroft","year":"1996","unstructured":"Crowcroft, J.,Open Distributed Systems, University College London Press, London, U. K., 1996."},{"key":"BF03037481_CR10","unstructured":"DFKI Oz version 2.0, 1998. Available at http:\/\/www.ps.uni-sb.de."},{"key":"BF03037481_CR11","volume-title":"Open Telecom Platform \u2014 User\u2019s Guide, Reference Manual, Installation Guide, OS Specific Parts","author":"Ericsson","year":"1996","unstructured":"Ericsson,Open Telecom Platform \u2014 User\u2019s Guide, Reference Manual, Installation Guide, OS Specific Parts, Telefonaktiebolaget LM Ericsson, Stockholm, Sweden, 1996."},{"key":"BF03037481_CR12","unstructured":"Fluckiger, F.,Understanding Networked Multimedia: Applications and Technology, Prentice-Hall, 1995."},{"key":"BF03037481_CR13","unstructured":"Institute for New Generation Computer Technology, ed.,Fifth Generation Computer Systems 1992, volume 1, 2, Ohmsha Ltd. and IOS Press, 1992. ISBN 4-274-007724-1."},{"key":"BF03037481_CR14","unstructured":"Fujise, T., Chikayama, T., Rokusawa, K., and Nakase, A., \u201cKLIC: A Portable Implementation of KL1,\u201d inFifth Generation Computing Systems (FGCS \u201994), pp. 66\u201379, December 1994."},{"key":"BF03037481_CR15","series-title":"white paper","volume-title":"The Java Language Environment","author":"J. Gosling","year":"1996","unstructured":"Gosling, J. and McGilton, H., \u201cThe Java Language Environment,\u201d white paper, Sun Microsystems, Mountain View, Calif., May 1996."},{"key":"BF03037481_CR16","unstructured":"Haridi, S.,Tutorial of Oz 2. Available at http:\/\/www.sics.se\/~seif\/oz.html, 1996."},{"key":"BF03037481_CR17","doi-asserted-by":"crossref","unstructured":"Haridi, S., Van Roy, P., Brand, P., Mehl, M., Scheidhauer, R., and Smolka, G., \u201cUsing Logic Variables in Distributed Computing,\u201d submitted to ACM TOPLAS, February 1998.","DOI":"10.1145\/319301.319347"},{"key":"BF03037481_CR18","doi-asserted-by":"crossref","unstructured":"Haridi, S., Van Roy, P., and Smolka, G., \u201cAn Overview of the Design of Distributed Oz,\u201d inProceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO \u201997), Maui, Hawaii, USA, ACM Press, pp. 176\u2013187, July 1997.","DOI":"10.1145\/266670.266726"},{"key":"BF03037481_CR19","volume-title":"Objects for Concurrent Constraint Programming, volume 426 of The Kluwer International Series in Engineering and Computer Science","author":"M. Henz","year":"1997","unstructured":"Henz, M.,Objects for Concurrent Constraint Programming, volume 426 of The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers, Boston, November 1997."},{"key":"BF03037481_CR20","volume-title":"Objects in Oz","author":"M. Henz","year":"1997","unstructured":"Henz, M., \u201cObjects in Oz,\u201dPh.D. thesis, Universit\u00e4t des Saarlandes, Fachbereich Informatik, Saarbr\u00fccken, Germany, June 1997."},{"issue":"20","key":"BF03037481_CR21","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J. and Maher, M., \u201cConstraint Logic Programming: A Survey,\u201dJ. Log. Prog., 19\/20, pp. 503\u2013581, May\/July 1994.","journal-title":"J. Log. Prog."},{"key":"BF03037481_CR22","unstructured":"Jalote, P.,Fault Tolerance in Distributed Systems, PTR Prentice-Hall, 1994."},{"key":"BF03037481_CR23","unstructured":"Janson, S. and Haridi, S., \u201cProgramming Paradigms of the Andorra Kernel Language,\u201d inInternational Symposium on Logic Programming, pp. 167\u2013183, October 1991."},{"issue":"1","key":"BF03037481_CR24","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/35037.42182","volume":"6","author":"E. Jul","year":"1988","unstructured":"Jul, E., Levy, H., Hutchinson, N., and Black, A., \u201cFine-Grained Mobility in the Emerald System,\u201dACM Transactions on Computer Systems, 6, 1, pp. 109\u2013133, February 1988.","journal-title":"ACM Transactions on Computer Systems"},{"key":"BF03037481_CR25","unstructured":"Khoshafian, S. and Buckiewicz, M.,Introduction to Groupware, Workflow, and Workgroup Computing, John Wiley and Sons, 1995."},{"key":"BF03037481_CR26","unstructured":"Knapik, M. and Johnson, J.,Developing Intelligent Agents for Distributed Systems, McGraw-Hill, 1998."},{"key":"BF03037481_CR27","unstructured":"Laprie, J. C., \u201cDependability: A Unifying Concept for Reliable Computing and Fault Tolerance,\u201d in7th International Conference on Distributed Computing Systems, pp. 129\u2013146, September 1987."},{"key":"BF03037481_CR28","unstructured":"Lea, D.,Concurrent Programming in Java, Addison-Wesley, 1997."},{"key":"BF03037481_CR29","doi-asserted-by":"crossref","unstructured":"Lloyd, J.,Foundations of Logic Programming, second edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037481_CR30","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.,Distributed Algorithms, Morgan Kaufmann, San Francisco, Calif., 1996."},{"key":"BF03037481_CR31","unstructured":"Maher, M., \u201cLogic Semantics for a Class of Committed-Choice Programs,\u201d inInternational Conference on Logic Programming (ICLP 87), pp. 858\u2013876, May 1987."},{"key":"BF03037481_CR32","unstructured":"M\u00fcller, M., M\u00fcller, T., and Van Roy, P., \u201cMultiparadigm Programming in Oz,\u201d inWorkshop on the Future of Logic Programming, International Logic Programming Symposium (ILPS 95), December 1995."},{"key":"BF03037481_CR33","unstructured":"Sun Microsystems,The Java Series, Mountain View, Calif., 1996. Avaiable at http:\/\/www.aw.com\/cp\/javaseries.html."},{"key":"BF03037481_CR34","unstructured":"Sun Microsystems,The Remote Method Invocation Specification, Mountain View, Calif., 1997. Available at http:\/\/www.javasoft.com."},{"key":"BF03037481_CR35","doi-asserted-by":"crossref","unstructured":"Mehl, M., Scheidhauer, R., and Schulte, C., \u201cAn Abstract Machine for Oz,\u201d inProgramming Languages, Implementations, Logics, and Programming (PLILP \u201995), 1995.","DOI":"10.1007\/BFb0026819"},{"key":"BF03037481_CR36","unstructured":"Naish, L.,Negation and Control in Prolog, Lecture Notes in Computer Science, vol. 238, Springer-Verlag, 1986."},{"key":"BF03037481_CR37","volume-title":"Understanding CORBA: The Common Object Request Broker Architecture","author":"R. Otte","year":"1996","unstructured":"Otte, R., Patrick, P., and Roy, M.,Understanding CORBA: The Common Object Request Broker Architecture, Prentice-Hall PTR, Upper Saddle River, N.J., 1996."},{"key":"BF03037481_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-60368-9_26","volume-title":"International Workshop on Memory Managemment","author":"D. Plainfoss\u00e9","year":"1995","unstructured":"Plainfoss\u00e9, D. and Shapiro, M., \u201cA Survey of Distributed Garbage Collection Techniques,\u201d inInternational Workshop on Memory Managemment, Lecture Notes in Computer Science, vol. 986, Berlin, Springer-Verlag, pp. 211\u2013249, September 1995."},{"key":"BF03037481_CR39","doi-asserted-by":"crossref","unstructured":"Podelski, A. and Smolka, G., \u201cOperational Semantics of Constraint Logic Programs with Coroutining,\u201d inInternational Conference on Logic Programming (ICLP 95), pp. 449\u2013463, 1995.","DOI":"10.7551\/mitpress\/4298.003.0047"},{"key":"BF03037481_CR40","doi-asserted-by":"crossref","unstructured":"Saraswat, V. and Rinard, M., \u201cConcurrent Constraint Programming,\u201d inPOPL, pp. 232\u2013245, January 1990.","DOI":"10.1145\/96709.96733"},{"key":"BF03037481_CR41","doi-asserted-by":"crossref","unstructured":"Schulte, C., \u201cOz Explorer: A Visual Constraint Programming Tool,\u201d inProceedings of the Fourteenth International Conference on Logic Programming (L. Naish, ed.), Leuven, Belgium, July 1997, MIT Press, pp. 286\u2013300, 1997.","DOI":"10.7551\/mitpress\/4299.003.0026"},{"key":"BF03037481_CR42","doi-asserted-by":"crossref","unstructured":"Schulte, C., \u201cProgramming Constraint Inference Engines,\u201d inProceedings of the Third International Conference on Principles and Practice of Constraint Programming (G. Smolka, ed.),volume 1330 of Lecture Notes in Computer Science, Schlo\u00df Hagenberg, Austria, October 1997, Springer-Verlag, pp. 519\u2013533, 1997.","DOI":"10.1007\/BFb0017464"},{"issue":"3","key":"BF03037481_CR43","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E., \u201cThe Family of Concurrent Logic Programming Languages,\u201dACM Computing Surveys, 21, 3, pp. 413\u2013510, September 1989.","journal-title":"ACM Computing Surveys"},{"key":"BF03037481_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Smolka, G., \u201cThe Oz Programming Model,\u201d inComputer Science Today, Lecture Notes in Computer Science, vol. 1000, Springer-Verlag, Berlin, pp. 324\u2013343, 1995."},{"key":"BF03037481_CR45","unstructured":"Smolka, G., Schulte, C., and W\u00fcrtz, J.,Finite Domain Constraint Programming in Oz: A Tutorial, Programming Systems Lab., German Research Center for Artificial Intelligence (DFKI), January 1998. In Oz 2 system documentation. Available at http:\/\/www.ps.uni-sb.de."},{"key":"BF03037481_CR46","unstructured":"Smolka, G., Schulte, C., and Van Roy, P.,PERDIO \u2014 Persistent and Distributed Programming in Oz, BMBF project proposal. Available at http:\/\/www.ps.uni-sb.de, February 1995."},{"key":"BF03037481_CR47","unstructured":"Stroustrup, B.,The C++ Programming Language, third edition, Addison-Wesley, 1997."},{"key":"BF03037481_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0020419","volume-title":"An Introduction to Distributed Algorithms","author":"G. Tel","year":"1994","unstructured":"Tel, G.,An Introduction to Distributed Algorithms, Cambridge University Press, Cambridge, United Kingdom, 1994."},{"issue":"3","key":"BF03037481_CR49","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/262009.262010","volume":"29","author":"T. Thorn","year":"1997","unstructured":"Thorn, T., \u201cProgramming Languages for Mobile Code,\u201dACM Computing Surveys, 29, 3, pp. 213\u2013239, September 1997.","journal-title":"ACM Computing Surveys"},{"issue":"20","key":"BF03037481_CR50","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","volume":"19","author":"P. Roy Van","year":"1994","unstructured":"Van Roy, P., \u201c1983\u20131993: The Wonder Years of Sequential Prolog Implementation,\u201dJ. Log. Prog., 19\/20, pp. 385\u2013441, May\/July 1994.","journal-title":"J. Log. Prog."},{"key":"BF03037481_CR51","unstructured":"Van Roy, P., Haridi, S., Brand, P., and Smolka, G., \u201cThree Moves Are Not as Bad as a Fire,\u201d inWorkshop on Internet Programming Languages, International Conference on Computer Languages (ICCL 98), May 1998."},{"issue":"5","key":"BF03037481_CR52","doi-asserted-by":"crossref","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., and Scheidhauer, R., \u201cMobile Objects in Distributed Oz,\u201dACM Transactions on Programming Languages and Systems, 19, 5, pp. 804\u2013851, September 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037481_CR53","doi-asserted-by":"crossref","unstructured":"Wallach, D. S., Balfanz, D., Dean, D., and Felten, E. W., \u201cExtensible Security Architectures for Java,\u201d in16th Symposium on Operating System Principles, October 1997.","DOI":"10.1145\/268998.266668"},{"key":"BF03037481_CR54","doi-asserted-by":"crossref","unstructured":"Wikstr\u00f6m, C., \u201cDistributed Programming in Erlang,\u201d in1st International Symposium on Parallel Symbolic Computation (PASCO 94), Singapore, September 1994, World Scientific, pp. 412\u2013421, 1994.","DOI":"10.1142\/9789814533584"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037481.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037481\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:40:45Z","timestamp":1739076045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037481"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":54,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["BF03037481"],"URL":"https:\/\/doi.org\/10.1007\/bf03037481","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}