{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:55:59Z","timestamp":1742403359183},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_18","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T03:57:55Z","timestamp":1294372675000},"page":"232-247","source":"Crossref","is-referenced-by-count":7,"title":["On the Expressiveness of Absolute-Time Coordination Languages"],"prefix":"10.1007","author":[{"given":"I.","family":"Linden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. -M.","family":"Jacquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3-4","key":"18_CR1","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J.-M. Andreoli","year":"1991","unstructured":"Andreoli, J.-M., Pareschi, R.: Linear Objects: Logical Processes with Built-in Inheritance. New Generation Computing\u00a09(3-4), 445\u2013473 (1991)","journal-title":"New Generation Computing"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/cpe.4330050103","volume":"5","author":"F. Arbab","year":"1993","unstructured":"Arbab, F., Herman, I., Spilling, P.: An Overview of Manifold and its Implementation. Concurrency: practice and experience\u00a05(1), 23\u201370 (1993)","journal-title":"Concurrency: practice and experience"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J. Banatre","year":"1991","unstructured":"Banatre, J., LeMetayer, D.: Programming by Multiset Transformation. Communications of the ACM\u00a036(1), 98\u2013111 (1991)","journal-title":"Communications of the ACM"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming\u00a019 (1992)","DOI":"10.1016\/0167-6423(92)90005-V"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1006\/inco.1999.2879","volume":"161","author":"F.S. Boer De","year":"2000","unstructured":"De Boer, F.S., Gabbrielli, M., Meo, M.C.: A Timed Concurrent Constraint Language. Information and Computation\u00a0161(1), 45\u201383 (2000)","journal-title":"Information and Computation"},{"issue":"1","key":"18_CR6","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Brogi","year":"1991","unstructured":"Brogi, A., Ciancarini, P.: The Concurrent Language Shared Prolog. ACM Transactions on Programming Languages and Systems\u00a013(1), 99\u2013123 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-45499-3_16","volume-title":"Algebraic Methodology and Software Technology","author":"N. Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: Process Calculi for Coordination: from Linda to JavaSpaces. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, p. 198. Springer, Heidelberg (2000)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1016\/S0304-3975(02)00867-8","volume":"298","author":"N. Busi","year":"2003","unstructured":"Busi, N., Zavattaro, G.: Expired Data Collection in Shared Dataspaces. Theoretical Computer Science\u00a0298, 529\u2013556 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"18_CR9","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Caspi, P., Halbwachs, N., Pilaud, P., Plaice, J.: Lustre: a Declarative Language for Programming Synchronous Systems. In: Proc. POPL 1987. ACM Press, New York (1987)","DOI":"10.1145\/41625.41641"},{"issue":"3","key":"18_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF03037345","volume":"12","author":"P. Ciancarini","year":"1994","unstructured":"Ciancarini, P.: Distributed Programming with Logic Tuple Spaces. New Generation Computing\u00a012(3), 251\u2013284 (1994)","journal-title":"New Generation Computing"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-62852-5_16","volume-title":"Mobile Object Systems Towards the Programmable Internet","author":"P. Ciancarini","year":"1997","unstructured":"Ciancarini, P., Rossi, D.: Jada: Coordination and Communication for Java Agents. In: Tschudin, C.F., Vitek, J. (eds.) MOS 1996. LNCS, vol.\u00a01222, pp. 213\u2013228. Springer, Heidelberg (1997)"},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"F.S. Boer de","year":"1994","unstructured":"de Boer, F.S., Palamidessi, C.: Embedding as a Tool for Language Comparison. Information and Computation\u00a0108(1), 128\u2013157 (1994)","journal-title":"Information and Computation"},{"key":"18_CR14","volume-title":"JavaSpaces: Principles, Patterns, and Practice","author":"E. Freeman","year":"1999","unstructured":"Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces: Principles, Patterns, and Practice. Addison-Wesley, Reading (1999)"},{"issue":"2","key":"18_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination Languages and Their Significance. Communications of the ACM\u00a035(2), 97\u2013107 (1992)","journal-title":"Communications of the ACM"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming\u00a08 (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"issue":"1","key":"18_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1006\/inco.1994.1095","volume":"115","author":"E. Horita","year":"1994","unstructured":"Horita, E., de Bakker, J.W., Rutten, J.J.M.M.: Fully abstract denotational models for nonuiform concurrent languages. Information and computation\u00a0115(1), 125\u2013178 (1994)","journal-title":"Information and computation"},{"key":"18_CR18","unstructured":"De Bosschere, K., Linden, I., Jacquet, J.-M., Brogi, A.: On the Expressiveness of Relative-timed Coordination Models. Electronic Notes in Theoretical Computer Science (2003) (to appear)"},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0167-739X(94)90053-1","volume":"10","author":"J.-M. Jacquet","year":"1994","unstructured":"Jacquet, J.-M., De Bosschere, K.: On the Semantics of \u03bcLog. Future Generation Computer Systems\u00a010, 93\u2013135 (1994)","journal-title":"Future Generation Computer Systems"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-45263-X_6","volume-title":"Coordination Languages and Models","author":"J.-M. Jacquet","year":"2000","unstructured":"Jacquet, J.-M., De Bosschere, K., Brogi, A.: On Timed Coordination Languages. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 81\u201398. Springer, Heidelberg (2000)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Linden, I., Jacquet, J.-M.: On the Expressiveness of Absolute-time Coordination Languages. Technical report, Institute of Informatics, University of Namur (2003)","DOI":"10.1007\/978-3-540-24634-3_18"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201992","author":"F. Maraninchi","year":"1992","unstructured":"Maraninchi, F.: Operational and Compositional Semantics of Synchronous Automaton Composition. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, Springer, Heidelberg (1992)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","first-page":"66","volume-title":"Object based models and languages for concurrent systems","author":"D. Gelernter","year":"1994","unstructured":"Gelernter, D., Carriero, N., Zuck, L.: Bauhaus Linda. In: Ciancarini, P., Nierstrasz, O., Yonezawa, A. (eds.) Object based models and languages for concurrent systems. LNCS, vol.\u00a0924, pp. 66\u201376. Springer, Heidelberg (1994)"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering (1998)","DOI":"10.1109\/32.685256"},{"key":"18_CR25","first-page":"156","volume-title":"Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: On the Expressive Power of Temporal Concurrent Constraint Programming Languages. In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, pp. 156\u2013167. ACM, New York (2002)"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Papadopolous, G.A., Arbab, F.: Coordination Models and Languages. Advances in Computers\u00a048 (1998)","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"18_CR27","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1109\/HICSS.1997.667285","volume-title":"Proc. 30th Hawaii International Conference on System Sciences","author":"A. Rowstron","year":"1997","unstructured":"Rowstron, A., Wood, A.: A Set of Tuple Space Primitives for Distributed Coordination. In: Proc. 30th Hawaii International Conference on System Sciences, vol.\u00a01, pp. 379\u2013388. IEEE Press, Los Alamitos (1997)"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Programming in Timed Concurrent Constraint Languages. In: Mayoh, B., Tougu, E., Penjam, J. (eds.) Computer and System Sciences. NATO, vol.\u00a0ASI-131. Springer, Heidelberg (1994)","DOI":"10.1007\/978-3-642-85983-0_15"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Saraswat, V., Jagadeesan, R., Gupta, V.: Timed Default Concurrent Constraint Programming. Journal of Symbolic Computation\u00a011 (1996)","DOI":"10.1006\/jsco.1996.0064"},{"key":"18_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming Languages","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming Languages. The MIT Press, Cambridge (1993)"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.: Embeddings among Concurrent Programming Languages. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 486\u2013503. Springer, Heidelberg (1992)","DOI":"10.1007\/BFb0084811"},{"key":"18_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today","author":"G. Smolka","year":"1995","unstructured":"Smolka, G.: The Oz Programming Model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol.\u00a01000, pp. 324\u2013343. Springer, Heidelberg (1995)"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Tini, S.: On the Expressiveness of Timed Concurrent Constraint Programming. Electronics Notes in Theoretical Computer Science (1999)","DOI":"10.1016\/S1571-0661(05)80291-9"},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Tolksdorf, R.: Coordinating Services in Open Distributed Systems with LAURA. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61052-9_58"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Wyckoff, P., McLaughry, S.W., Lehman, T.J., Ford, D.A.: TSpaces. IBM Systems Journal\u00a037(3) (1998)","DOI":"10.1147\/sj.373.0454"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24634-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T10:12:05Z","timestamp":1592215925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}