{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:06:08Z","timestamp":1725505568536},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540784975"},{"type":"electronic","value":"9783540784999"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","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-78499-9_17","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T23:02:25Z","timestamp":1207090945000},"page":"231-245","source":"Crossref","is-referenced-by-count":8,"title":["Coalgebraic Logic and Synthesis of Mealy Machines"],"prefix":"10.1007","author":[{"given":"M. M.","family":"Bonsangue","sequence":"first","affiliation":[]},{"given":"Jan","family":"Rutten","sequence":"additional","affiliation":[]},{"given":"Alexandra","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/978-3-540-31982-5_29","volume-title":"Foundations of Software Science and Computational Structures","author":"M.M. Bonsangue","year":"2005","unstructured":"Bonsangue, M.M., Kurz, A.: Duality for logics of transition systems. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 455\u2013469. Springer, Heidelberg (2005)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/11690634_12","volume-title":"Foundations of Software Science and Computation Structures","author":"M.M. Bonsangue","year":"2006","unstructured":"Bonsangue, M.M., Kurz, A.: Presenting functors by operations and equations. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 172\u2013186. Springer, Heidelberg (2006)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bonsangue, M.M., Rutten, J.J. M.M., Silva, A.: Coalgebraic Logic and Synthesis of Mealy Machines. CWI Technical report R0705 (2007)","DOI":"10.1007\/978-3-540-78499-9_17"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-40922-X_13","volume-title":"Formal Methods in Computer-Aided Design","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., German, S.M., Lu, Y., Veith, H., Wang, D.: Executable protocol specification in esl. In: Johnson, S.D., Hunt Jr., W.A. (eds.) FMCAD 2000. LNCS, vol.\u00a01954, pp. 197\u2013216. Springer, Heidelberg (2000)"},{"issue":"1","key":"17_CR5","first-page":"27","volume":"164","author":"H.H. Hansen","year":"2006","unstructured":"Hansen, H.H., Costa, D., Rutten, J.J.M.M.: Synthesis of mealy machines using derivatives. ENTCS\u00a0164(1), 27\u201345 (2006)","journal-title":"ENTCS"},{"issue":"2","key":"17_CR6","first-page":"181","volume":"36","author":"P. Katis","year":"2002","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Feedback, trace and fixed-point semantics. ITA\u00a036(2), 181\u2013194 (2002)","journal-title":"ITA"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. TCS\u00a027, 333\u2013354 (1983)","journal-title":"TCS"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/3-540-44612-5_45","volume-title":"Mathematical Foundations of Computer Science 2000","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Vardi, M.: \u03bc-calculus synthesis. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 497\u2013507. Springer, Heidelberg (2000)"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1145\/333979.333987","volume":"47","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Vardi, M., Wolper, P.: An automata-theoretic approach to branching-time model checking. J. ACM\u00a047(2), 312\u2013360 (2000)","journal-title":"J. ACM"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Kupke, C., Venema, Y.: Coalgebraic automata theory: basic results. Technical Report SEN-E0701, CWI, The Netherlands (2007)","DOI":"10.2168\/LMCS-4(4:10)2008"},{"key":"17_CR11","volume-title":"Introduction to Logic Design","author":"A.B. Marcovitz","year":"2005","unstructured":"Marcovitz, A.B.: Introduction to Logic Design. McGraw-Hill, New York (2005)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Moss, L.: Coalgebraic logic. Annals of Pure and Applied Logic\u00a096 (1999)","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL 1989, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"17_CR14","first-page":"305","volume":"160","author":"J.J.M.M. Rutten","year":"2006","unstructured":"Rutten, J.J.M.M.: Algebraic specification and coalgebraic synthesis of mealy automata. ENTCS\u00a0160, 305\u2013319 (2006)","journal-title":"ENTCS"},{"issue":"1\u20134","key":"17_CR15","first-page":"367","volume":"60","author":"S. Tini","year":"2004","unstructured":"Tini, S., Maggiolo-Schettini, A.: Compositional synthesis of generalized mealy machines. Fundam. Inform.\u00a060(1\u20134), 367\u2013382 (2004)","journal-title":"Fundam. Inform."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78499-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T11:31:43Z","timestamp":1684323103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78499-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540784975","9783540784999"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78499-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}