{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:21:50Z","timestamp":1720624910376},"reference-count":31,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80350-5","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"176-194","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Defining Actions in Concurrent Declarative Programming"],"prefix":"10.1016","volume":"64","author":[{"given":"Rachid","family":"Echahed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wendelin","family":"Serwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"H. Abelson et al. Revised5 report on the algorithmic language Scheme. Higher Order and Symbolic Computation, 11(1):7 \u2013 105, Aug. 1998.","DOI":"10.1023\/A:1010051815785"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB2","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, chapter Steam-Boiler Control Specification Problem, pages 500 \u2013 510. Springer Verlag, 1996.","DOI":"10.1007\/BFb0027252"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"S. Antoy. Definitional trees. In H. Kirchner and G. Levi, editors, Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP 1992), volume 632 of Lecture Notes in Computer Science, pages 143 \u2013 157, Volterra, Sept. 1992. Springer Verlag.","DOI":"10.1007\/BFb0013825"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB4","series-title":"Concurrent Programming in ERLANG.","author":"Armstrong","year":"1996"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB5","doi-asserted-by":"crossref","unstructured":"J. Blanc and R. Echahed. Adding time to functional logic programs. Electronic Notes in Theoretical Computer Science, 64, 2002.","DOI":"10.1016\/S1571-0661(04)80348-7"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB6","doi-asserted-by":"crossref","unstructured":"A. J. Bonner and M. Kifer. The state of change: A survey. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases: Invited Surveys and Selected Papers of the International Seminar on Logic Databases and the Meaning of Change and ILPS '97 PostConference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), volume 1472 of Lecture Notes in Computer Science, pages 1 \u2013 36, Schlo\u00df Dagstuhl and Port Jefferson, 1998. Springer Verlag.","DOI":"10.1007\/BFb0055494"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB7","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Computer Science Laboratory, SRI International, Mar. 1999."},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB8","unstructured":"Curry: An integrated functional logic language. available at http:\/\/www.informatik.uni-kiel.de\/~mh\/curry\/report.html."},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB9","doi-asserted-by":"crossref","unstructured":"E. Denti, A. Natali, and A. Omicini. Programmable coordination media. In D. Garlan and D. L. Metayer, editors, Proceedings of the 2nd International Conference on Coordination Languages and Models (Coordination '97), volume 1282 of Lecture Notes in Computer Science, pages 274 \u2013 288, Berlin, Sept. 1997. Springer Verlag.","DOI":"10.1007\/3-540-63383-9_86"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB10","series-title":"Prolog: The Standard, Reference Manual","author":"Deransart","year":"1996"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB11","series-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, chapter 6","first-page":"243","article-title":"Rewrite systems","author":"Dershowitz","year":"1990"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB12","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra. Hierarchical ordering of sequential processes. In C. A. R. Hoare and R. H. Perrott, editors, Proceedings of a Seminar on Operating Systems Techniques, volume 9 of A.P.I.C. Studies in Data Processing, pages 72 \u2013 93, Belfast, 1971. Acdemic Press.","DOI":"10.1007\/978-1-4757-3472-0_5"},{"issue":"8","key":"10.1016\/S1571-0661(04)80350-5_NEWBIB13","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","article-title":"Guarded commands, nondeterminacy and formal derivation of programs","volume":"18","author":"Dijkstra","year":"1975","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB14","doi-asserted-by":"crossref","unstructured":"R. Echahed and W. Serwe. Combining mobile processes and declarative programming. In J. Lloyd et al., editors, Proceedings of the 1st International Conference on Computational Logic (CL 2000), volume 1861 of Lecture Notes in Artificial Intelligence, pages 300 \u2013 314, London, July 2000. Springer Verlag.","DOI":"10.1007\/3-540-44957-4_20"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB15","series-title":"Texts in Theoretical Computer Science","article-title":"Introduction to Process Algebra","author":"Fokkink","year":"2000"},{"issue":"1","key":"10.1016\/S1571-0661(04)80350-5_NEWBIB16","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB17","doi-asserted-by":"crossref","unstructured":"M. Hanus. Distributed programming in a multi-paradigm declarative language. In G. Nadathur, editor, Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP'99), volume 1702 of Lecture Notes in Computer Science, pages 188 \u2013 205, Paris, 1999. Springer Verlag.","DOI":"10.1007\/10704567_11"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB18","doi-asserted-by":"crossref","unstructured":"S. Janson. AKL \u2013 A Multiparadigm Programming Language. PhD thesis, Uppsala Theses in Computing Science 19, June 1994. SICS Dissertation Series 14.","DOI":"10.1007\/978-3-642-85983-0_16"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB19","series-title":"Research Directions in Concurrent Object-Oriented Programming.","article-title":"Ports for objects in concurrent logic programs","author":"Janson","year":"1993"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB20","series-title":"The Art of the Metaobject Protocol, chapter 5 and 6","author":"Kiczales","year":"1991"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB21","first-page":"1","article-title":"Term rewriting systems","volume":"vol. II","author":"Klop","year":"1992"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB22","unstructured":"G. McCluskey. Using Java reflection. available at http:\/\/developer.java.sun.com\/developer\/technicalArticles\/ALT\/Reflection, Jan. 1998."},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB23","series-title":"Communicating and Mobile Systems: the Pi-Calculus Cambridge","author":"Milner","year":"1999"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB24","series-title":"The Definition of Standard ML \u2013 Revised","author":"Milner","year":"1997"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB25","series-title":"Addison-Wesley Professional Computing Series","article-title":"Tcl and the Tk toolkit","author":"Ousterhout","year":"1994"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB26","doi-asserted-by":"crossref","unstructured":"S. L. Peyton Jones, A. D. Gordon, and S. Finne. Concurrent Haskell. In Proceedings of the 23rd ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL '96), pages 295 \u2013 308, St Petersburg Beach, Florida, Jan. 1996.","DOI":"10.1145\/237721.237794"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB27","series-title":"Concurrent Programming in ML","author":"Reppy","year":"1999"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB28","series-title":"ACM Doctoral Dissertation Awards","article-title":"Concurrent Constraint Programming","author":"Saraswat","year":"1993"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB29","doi-asserted-by":"crossref","unstructured":"G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture Notes in Computer Science, pages 324 \u2013 343. Springer Verlag, 1995.","DOI":"10.1007\/BFb0015252"},{"key":"10.1016\/S1571-0661(04)80350-5_NEWBIB30","series-title":"Common Lisp the Language","author":"Steele","year":"1990"},{"issue":"2","key":"10.1016\/S1571-0661(04)80350-5_NEWBIB31","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/S0304-3975(97)00154-0","article-title":"Interactive foundations of computing","volume":"192","author":"Wegner","year":"1998","journal-title":"Theoretical Computer Science"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803505?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803505?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T02:51:51Z","timestamp":1585882311000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":31,"alternative-id":["S1571066104803505"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80350-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}