{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:14:12Z","timestamp":1725974052723},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900889"},{"type":"electronic","value":"9783319900896"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90089-6_10","type":"book-chapter","created":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:37:52Z","timestamp":1525379872000},"page":"139-159","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Learning to Coordinate"],"prefix":"10.1007","author":[{"given":"Gerco","family":"van Heerdt","sequence":"first","affiliation":[]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Kapp\u00e9","sequence":"additional","affiliation":[]},{"given":"Alexandra","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,7]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511600579","volume-title":"Locally Presentable and Accessible Categories","author":"J Ad\u00e1mek","year":"1994","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)"},{"issue":"2","key":"10_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"issue":"3","key":"10_CR3","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0022-4049(75)90028-6","volume":"6","author":"MA Arbib","year":"1975","unstructured":"Arbib, M.A., Manes, E.G.: Adjoint machines, state-behavior machines, and duality. J. Pure Appl. Algebra 6(3), 313\u2013344 (1975)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"10_CR4","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.J.M.M.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006). \nhttps:\/\/doi.org\/10.1016\/j.scico.2005.10.008","journal-title":"Sci. Comput. Program."},{"key":"10_CR5","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985). Revised and corrected version available from \nwww.cwru.edu\/artsci\/math\/wells\/pub\/ttt.html"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-02053-7_10","volume-title":"Coordination Models and Languages","author":"M Bonsangue","year":"2009","unstructured":"Bonsangue, M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 184\u2013203. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02053-7_10"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-319-06880-0_20","volume-title":"Horizons of the Mind. A Tribute to Prakash Panangaden","author":"B Jacobs","year":"2014","unstructured":"Jacobs, B., Silva, A.: Automata learning: a categorical perspective. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds.) Horizons of the Mind. A Tribute to Prakash Panangaden. LNCS, vol. 8464, pp. 384\u2013406. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-06880-0_20"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.scico.2015.09.001","volume":"115\u2013116","author":"STQ Jongmans","year":"2016","unstructured":"Jongmans, S.T.Q., Arbab, F.: Global consensus through local synchronization: a formal basis for partially-distributed coordination. Sci. Comput. Program. 115\u2013116, 199\u2013224 (2016)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"10_CR9","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1109\/TAC.1959.1104873","volume":"4","author":"R Kalman","year":"1959","unstructured":"Kalman, R.: On the general theory of control systems. IRE Trans. Autom. Control 4(3), 110 (1959)","journal-title":"IRE Trans. Autom. Control"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Milius, S.: A sound and complete calculus for finite stream circuits. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Edinburgh, United Kingdom, 11\u201314 July 2010, pp. 421\u2013430 (2010). \nhttps:\/\/doi.org\/10.1109\/LICS.2010.11","DOI":"10.1109\/LICS.2010.11"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/2967606","volume":"60","author":"FW Vaandrager","year":"2017","unstructured":"Vaandrager, F.W.: Model learning. Commun. ACM 60(2), 86\u201395 (2017). \nhttps:\/\/doi.org\/10.1145\/2967606","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","It's All About Coordination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90089-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:40:58Z","timestamp":1525380058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90089-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900889","9783319900896"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90089-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}