{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:33:44Z","timestamp":1725521624423},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540921875"},{"type":"electronic","value":"9783540921882"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92188-2_10","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T04:00:21Z","timestamp":1228276821000},"page":"226-256","source":"Crossref","is-referenced-by-count":10,"title":["Coordination: Reo, Nets, and Logic"],"prefix":"10.1007","author":[{"given":"Dave","family":"Clarke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S.: Computational interpretations of linear logic. Theor. Comput. Sci.\u00a0111(1-2), 3\u201357 (1993)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1093\/jigpal\/2.1.77","volume":"2","author":"V. Alexiev","year":"1994","unstructured":"Alexiev, V.: Applications of linear logic to computation: An overview. Logic Journal of IGPL\u00a02(1), 77\u2013107 (1994)","journal-title":"Logic Journal of IGPL"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1002\/(SICI)1096-9942(1996)2:2<77::AID-TAPO1>3.0.CO;2-4","volume":"2","author":"J.-M. Andreoli","year":"1996","unstructured":"Andreoli, J.-M., Freeman, S., Pareschi, R.: The Coordination Language Facility: coordination of distributed objects. Theory and Practice of Object Systems\u00a02(2), 77\u201394 (1996)","journal-title":"Theory and Practice of Object Systems"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Andreoli, J.-M., Hankin, C., Le Metayer, D. (eds.): Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press (1996)","DOI":"10.1142\/p017"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Andreoli, J.-M., Pareschi, R.: Linear objects: logical processes with built-in inheritance. New Generation Computing\u00a09 (1991)","DOI":"10.1007\/BF03037173"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. in Comp. Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Math. Struct. in Comp. Science"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming\u00a061(2), 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-45635-X_29","volume-title":"Logic Programming","author":"M. Banbara","year":"2001","unstructured":"Banbara, M., Kang, K.-S., Hirai, T., Tamura, N.: Logic programming in a fragment of intuitionistic temporal linear logic. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 315\u2013330. Springer, Heidelberg (2001)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0304-3975(94)00104-9","volume":"135","author":"G. Bellin","year":"1994","unstructured":"Bellin, G., Scott, P.J.: On the pi-calculus and linear logic. Theoretical Computer Science\u00a0135, 11\u201365 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"10","key":"10_CR11","first-page":"1308","volume":"51","author":"I.I. Bestuzheva","year":"1990","unstructured":"Bestuzheva, I.I., Rudnev, V.V.: Timed Petri nets: Classification and comparative analysis. Automation and Remote Control\u00a051(10), 1308\u20131318 (1990)","journal-title":"Automation and Remote Control"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A. Blass","year":"1992","unstructured":"Blass, A.: A game semantics for linear logic. Annals of Pure and Applied Logic\u00a056, 151\u2013156 (1992)","journal-title":"Annals of Pure and Applied Logic"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-27755-2_7","volume-title":"Lectures on Concurrency and Petri Nets","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Extending the zero-safe approach to coloured, reconfigurable and dynamic nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 291\u2013327. Springer, Heidelberg (2004)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Bruni, R., Meseguer, J., Montanari, U.: Tiling transactions in rewriting logic. In: WRLA 2002, Rewriting Logic and Its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a071, pp. 90\u2013109 (April 2004)","DOI":"10.1016\/S1571-0661(05)82530-7"},{"issue":"1-2","key":"10_CR15","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1006\/inco.1999.2819","volume":"156","author":"R. Bruni","year":"2000","unstructured":"Bruni, R., Montanari, U.: Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation\u00a0156(1-2), 46\u201389 (2000)","journal-title":"Information and Computation"},{"key":"10_CR16","unstructured":"Clarke, D.: Reolite implementation (December 2005), http:\/\/www.cwi.nl\/~dave\/reolite"},{"issue":"4","key":"10_CR17","first-page":"361","volume":"82","author":"D. Clarke","year":"2008","unstructured":"Clarke, D.: A basic logic for reasoning about connector reconfiguration. Fundam. Inform.\u00a082(4), 361\u2013390 (2008)","journal-title":"Fundam. Inform."},{"issue":"3","key":"10_CR18","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.scico.2007.01.009","volume":"66","author":"D. Clarke","year":"2007","unstructured":"Clarke, D., Costa, D., Arbab, F.: Connector colouring I: Synchronisation and context dependency. Science of Computer Programming\u00a066(3), 205\u2013225 (2007)","journal-title":"Science of Computer Programming"},{"key":"10_CR19","unstructured":"Clarke, D., Proen\u00e7a, J., Lazovik, A., Arbab, F.: Deconstructing Reo. In: FOCLASA 2008. ENTCS (July 2008) (to appear)"},{"key":"10_CR20","unstructured":"Diakov, N., Arbab, F.: Adaptation of software entities for synchronous exogenous coordination: An initial approach. In: Proceedings of The Second International Workshop on Coordination and Adaptation of Software Entities, W-CAT 2005 (July 2005)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-58043-3_20","volume-title":"A Decade of Concurrency","author":"U.H. Engberg","year":"1994","unstructured":"Engberg, U.H., Winskel, G.: Linear logic on Petri nets. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 176\u2013229. Springer, Heidelberg (1994)"},{"key":"10_CR22","unstructured":"Cabrera, L.F., et al.: Web Services Atomic Transaction (WS-AtomicTransaction). MSDN Library (November 2004)"},{"issue":"2","key":"10_CR23","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. Commun. ACM\u00a035(2), 97\u2013107 (1992)","journal-title":"Commun. ACM"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"11","key":"10_CR25","first-page":"2219","volume":"E83-A","author":"T. Hirai","year":"2000","unstructured":"Hirai, T.: Propositional temporal linear logic and its application to concurrent systems. EICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Special Section on Concurrent Systems Technology)\u00a0E83-A(11), 2219\u20132227 (2000)","journal-title":"EICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Special Section on Concurrent Systems Technology)"},{"key":"10_CR26","unstructured":"Hirai, T.: Temporal Linear Logic and Its Application. PhD thesis, The Graduate School of Science and Technology, Kobe University, Japan (September 2000)"},{"key":"10_CR27","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.tcs.2005.10.043","volume":"252","author":"N. Kamide","year":"2006","unstructured":"Kamide, N.: Linear and affine logics with temporal, spatial and epistemic logics. Theoretical Computer Science\u00a0252, 165\u2013207 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"1\u20133","key":"10_CR28","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(94)90011-6","volume":"67","author":"M.I. Kanovich","year":"1994","unstructured":"Kanovich, M.I.: Linear logic as a logic of computations. Annals of Pure and Applied Logic\u00a067(1\u20133), 183\u2013212 (1994)","journal-title":"Annals of Pure and Applied Logic"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0168-0072(95)00035-6","volume":"78","author":"M.I. Kanovich","year":"1996","unstructured":"Kanovich, M.I.: Linear logic automata. Annals of Pure and Applied Logic\u00a078, 147\u2013188 (1996)","journal-title":"Annals of Pure and Applied Logic"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Kanovich, M.I., Ito, T.: Temporal linear logic specifications for concurrent processes (extended abstract). In: Twefth Annual IEEE Symposium on Logic in Computer Science, pp. 48\u201357 (1997)","DOI":"10.1109\/LICS.1997.614928"},{"key":"10_CR31","unstructured":"Koehler, C., Costa, D., Proen\u00e7a, J., Arbab, F.: Reconfiguration of Reo connectors triggered by dataflow. In: Electronic Communications of the EASST: Graph Transformation and Visual Modeling Techniques, vol.\u00a010 (2008)"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-28645-5_6","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2004","author":"P. K\u00fcngas","year":"2004","unstructured":"K\u00fcngas, P.: Analysing AI planning problems in linear logic \u2013 a partial deduction approach. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS, vol.\u00a03171, pp. 52\u201361. Springer, Heidelberg (2004)"},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-540-28633-2_5","volume-title":"PRICAI 2004: Trends in Artificial Intelligence","author":"P. K\u00fcngas","year":"2004","unstructured":"K\u00fcngas, P.: Temporal linear logic for symbolic agent negotiation. In: Zhang, C., W. Guesgen, H., Yeap, W.-K. (eds.) PRICAI 2004. LNCS, vol.\u00a03157, pp. 23\u201332. Springer, Heidelberg (2004)"},{"key":"10_CR34","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. Information and Computation\u00a088, 105\u2013155 (1990)","journal-title":"Information and Computation"},{"issue":"1","key":"10_CR35","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.entcs.2005.12.034","volume":"154","author":"M.R. Mousavi","year":"2006","unstructured":"Mousavi, M.R., Sirjani, M., Arbab, F.: Formal semantics and analysis of component connectors in Reo. Electronic Notes in Computer Science \u00a0154(1), 83\u201399 (2006)","journal-title":"Electronic Notes in Computer Science"},{"key":"10_CR36","unstructured":"O\u2019Hearn, P.W., Yang, H.: Petri net semantics of bunched implications(October 1999) (unpublished) (available from Peter\u2019s webpage)"},{"key":"10_CR37","series-title":"Advances in Computers","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume-title":"The Engineering of Large Systems","author":"G.A. Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. In: Zelkowitz, M. (ed.) The Engineering of Large Systems. Advances in Computers, vol.\u00a046, pp. 329\u2013400. Academic Press, London (1998)"},{"key":"10_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-77564-5_9","volume-title":"Declarative Agent Languages and Technologies V","author":"D.Q. Pham","year":"2008","unstructured":"Pham, D.Q., Harland, J., Winikoff, M.: Modelling agent\u2019s choices in temporal linear logic. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS, vol.\u00a04897, pp. 140\u2013157. Springer, Heidelberg (2008)"},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Pham, D.Q., Harland, J.: Temporal linear logic as a basis for flexible agent interactions. In: Durfee, E.H., Yokoo, M., Huhns, M.N., Shehory, O. (eds.) 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), IFAAMAS (2007)","DOI":"10.1145\/1329125.1329159"},{"key":"10_CR40","series-title":"Applied Logic Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0091-7","volume-title":"The Semantics and Proof Theory of the Logic of Bunched Implications","author":"D.J. Pym","year":"2002","unstructured":"Pym, D.J.: The Semantics and Proof Theory of the Logic of Bunched Implications. Applied Logic Series, vol.\u00a026. Kluwer Academic Publishers, Dordrecht (2002)"},{"issue":"4","key":"10_CR41","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet another workflow language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"key":"10_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-24849-1_23","volume-title":"Types for Proofs and Programs","author":"K. Watkins","year":"2004","unstructured":"Watkins, K., Cervasato, I., Pfenning, F., Walker, D.: A concurrent logical framework: The propositional fragment. In: Berardi, S., Coppo, M., Damiani, F. (eds.) TYPES 2003. LNCS, vol.\u00a03085, pp. 355\u2013377. Springer, Heidelberg (2004)"},{"key":"10_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/3-540-61052-9_37","volume-title":"COORDINATION","author":"P. Wegner","year":"1996","unstructured":"Wegner, P.: Coordination as constrained interaction. In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 28\u201333. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92188-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:12:21Z","timestamp":1557947541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92188-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540921875","9783540921882"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92188-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}