{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:47Z","timestamp":1725487067364},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_5","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T11:13:58Z","timestamp":1182770038000},"page":"76-95","source":"Crossref","is-referenced-by-count":0,"title":["Reactors: A Data-Oriented Synchronous\/Asynchronous Programming Model for Distributed Applications"],"prefix":"10.1007","author":[{"given":"John","family":"Field","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria-Cristina","family":"Marinescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Stefansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G.A. Agha","year":"1997","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming\u00a07(1), 1\u201369 (1997)","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1145\/303976.304005","volume-title":"PODS \u201999","author":"A.J. Bonner","year":"1999","unstructured":"Bonner, A.J.: Workflow, transactions and datalog. In: PODS \u201999. Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 294\u2013305. ACM Press, New York (1999)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1145\/41625.41641","volume-title":"POPL \u201987","author":"P. Caspi","year":"1987","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for real-time programming. In: POPL \u201987. Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 178\u2013188. ACM Press, New York (1987)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-56039-4_48","volume-title":"Database Theory - ICDT \u201992","author":"G. Dong","year":"1992","unstructured":"Dong, G., Topor, R.W.: Incremental evaluation of datalog queries. In: Hull, R., Biskup, J. (eds.) ICDT 1992. LNCS, vol.\u00a0646, pp. 282\u2013296. Springer, Heidelberg (1992)"},{"key":"5_CR6","unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/3-540-18317-5_15","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Gautier","year":"1987","unstructured":"Gautier, T., Guernic, P.L.: SIGNAL: A declarative language for synchronous programming of real-time systems. In: Kahn, G. (ed.) Functional Programming Languages and Computer Architecture. LNCS, vol.\u00a0274, pp. 257\u2013277. Springer, London (1987)"},{"key":"5_CR8","series-title":"NATO ASI Series F: Computer And Systems Sciences","first-page":"477","volume-title":"Logics and models of concurrent systems","author":"D. Harel","year":"1989","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and models of concurrent systems. NATO ASI Series F: Computer And Systems Sciences, vol.\u00a013, pp. 477\u2013498. Springer, Heidelberg (1989)"},{"key":"5_CR9","first-page":"48","volume-title":"ACM Conf. on Principles and Practice of Parallel Programming","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Jones, S.P., Herlihy, M.: Composable memory transactions. In: ACM Conf. on Principles and Practice of Parallel Programming, Chicago, June 2005, pp. 48\u201360. ACM Press, New York (2005)"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1145\/242224.242420","volume":"28","author":"G. Kiczales","year":"1996","unstructured":"Kiczales, G.: Aspect-oriented programming. ACM Computing Surveys\u00a028(4), 154 (1996)","journal-title":"ACM Computing Surveys"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0096-0551(01)00016-9","volume":"27","author":"F. Maraninchi","year":"2001","unstructured":"Maraninchi, F., R\u00e9mond, Y.: Argos: an automaton-based synchronous language. Computer Languages\u00a027, 61\u201392 (2001)","journal-title":"Computer Languages"},{"issue":"1","key":"5_CR12","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-II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/311531.311623","volume":"31","author":"N.W. Paton","year":"1999","unstructured":"Paton, N.W., D\u00edaz, O.: Active database systems. ACM Comput. Surv.\u00a031(1), 63\u2013103 (1999)","journal-title":"ACM Comput. Surv."},{"key":"5_CR14","unstructured":"Topor, R.: Safe database queries with arithmetic relations. In: Proceedings of the 14th Australian Computer Science Conference (1991)"},{"key":"5_CR15","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol.\u00a01, ch.\u00a03. Computer Science Press (1988)"},{"key":"5_CR16","unstructured":"Wang, X.: Negation in Logic and Deductive Databases. PhD thesis, University of Leeds (1999)"}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:05:33Z","timestamp":1605762333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72794-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727934"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72794-1_5","relation":{},"subject":[]}}