{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:16Z","timestamp":1725487096827},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72794-1_7","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T07:13:58Z","timestamp":1182755638000},"page":"113-131","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Theory of Refinement in Timed Coordination Languages"],"prefix":"10.1007","author":[{"given":"Jean-Marie","family":"Jacquet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Linden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","year":"2005","unstructured":"Abadi, M., de Alfaro, L. (eds.): CONCUR 2005. LNCS, vol.\u00a03653. Springer, Heidelberg (2005)"},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","year":"2006","unstructured":"Baier, C., Hermanns, H. (eds.): CONCUR 2006. LNCS, vol.\u00a04137. Springer, Heidelberg (2006)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","year":"2006","unstructured":"Ball, T., Jones, R.B. (eds.): CAV 2006. LNCS, vol.\u00a04144. Springer, Heidelberg (2006)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming, 19 (1992)","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-63383-9_84","volume-title":"Coordination Languages and Models","author":"A. Brogi","year":"1997","unstructured":"Brogi, A., Jacquet, J.-M.: Modeling Coordination via Asynchronous Communication. In: Garlan, D., Le M\u00e9tayer, D. (eds.) COORDINATION 1997. LNCS, vol.\u00a01282, pp. 238\u2013255. Springer, Heidelberg (1997)"},{"issue":"4","key":"7_CR7","first-page":"431","volume":"73","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Jacquet, J.-M., Linden, I.: Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching. Fundamenta Informaticae\u00a073(4), 431\u2013478 (2006)","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"7_CR8","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":"7_CR9","volume-title":"Proc. POPL\u201987","author":"P. Caspi","year":"1987","unstructured":"Caspi, P., Halbwachs, N., Pilaud, P., Plaice, J.: Lustre: a Declarative Language for Programming Synchronous Systems. In: Proc. POPL\u201987, ACM Press, New York (1987)"},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems\u00a015(1), 36\u201372 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR11","volume-title":"Control Flow Semantics","author":"J. Bakker de","year":"1996","unstructured":"de Bakker, J., de Vink, E.: Control Flow Semantics. MIT Press, Cambridge (1996)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","year":"2005","unstructured":"Etessami, K., Rajamani, S.K. (eds.): CAV 2005. LNCS, vol.\u00a03576. Springer, Heidelberg (2005)"},{"key":"7_CR13","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":"7_CR14","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":"7_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, 8 (1987)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"7_CR16","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"7_CR18","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","volume":"38","author":"K.H. Johansson","year":"1999","unstructured":"Johansson, K.H., Egerstedt, M., Lygeros, J., Sastry, S.: On the Regularisation of Zeno Hybrid Automata. System and Control Letters\u00a038, 141\u2013150 (1999)","journal-title":"System and Control Letters"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/978-3-540-24634-3_18","volume-title":"Coordination Models and Languages","author":"I. Linden","year":"2004","unstructured":"Linden, I., Jacquet, J.-M.: On the Expressiveness of Absolute-Time Coordination Languages. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 232\u2013247. Springer, Heidelberg (2004)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2004.04.034","volume":"97","author":"I. Linden","year":"2004","unstructured":"Linden, I., Jacquet, J.-M., De Bosschere, K., Brogi, A.: On the Expressiveness of Relative-Timed Coordination Models. Electronical Notes in Theoretical Computer Science\u00a097, 125\u2013153 (2004)","journal-title":"Electronical Notes in Theoretical Computer Science"},{"issue":"2","key":"7_CR21","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.scico.2005.10.011","volume":"61","author":"I. Linden","year":"2006","unstructured":"Linden, I., Jacquet, J.-M., De Bosschere, K., Brogi, A.: On the Expressiveness of Timed Coordination Models. Science of Computer Programming\u00a061(2), 152\u2013187 (2006)","journal-title":"Science of Computer Programming"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"7_CR23","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"volume-title":"Coordination of Internet Agents: Models, Technologies, and Applications","year":"2001","key":"7_CR24","unstructured":"Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.): Coordination of Internet Agents: Models, Technologies, and Applications. Springer, Heidelberg (2001)"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Papadopolous, G.A., Arbab, F.: Coordination Models and Languages. Advances in Computers, 48 (1998)","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"7_CR26","volume-title":"Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"7_CR27","volume-title":"Concurrent and Real-time Systems: the CSP Approach","author":"S. Schneider","year":"2000","unstructured":"Schneider, S.: Concurrent and Real-time Systems: the CSP Approach. John Wiley & Sons, Chichester (2000)"},{"issue":"2","key":"7_CR28","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0167-6423(98)00021-5","volume":"34","author":"L. Semini","year":"1999","unstructured":"Semini, L., Montangero, C.: A Refinement Calculus for Tuple Spaces. Science of Computer Programming\u00a034(2), 79\u2013140 (1999)","journal-title":"Science of Computer Programming"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Wyckoff, P.: T Spaces. IBM Systems Journal, 37(3) (1998)","DOI":"10.1147\/sj.373.0454"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72794-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:05:34Z","timestamp":1605744334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72794-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727934"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72794-1_7","relation":{},"subject":[]}}