{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:05:38Z","timestamp":1762459538617},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720432"},{"type":"electronic","value":"9783319720449"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-72044-9_10","type":"book-chapter","created":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T09:14:43Z","timestamp":1512638083000},"page":"135-152","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Observational Semantics for Dynamic Logic with Binders"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,8]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511814105","volume-title":"Reactive Systems: Modelling, Specification and Verification","author":"L Aceto","year":"2007","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A., Larsen, K.G., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge (2007)"},{"issue":"1\u20132","key":"10_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jlap.2005.09.002","volume":"67","author":"M Bidoit","year":"2006","unstructured":"Bidoit, M., Hennicker, R.: Constructor-based observational logic. J. Log. Algebr. Program. 67(1\u20132), 3\u201351 (2006)","journal-title":"J. Log. Algebr. Program."},{"issue":"2\u20133","key":"10_CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M Bidoit","year":"1995","unstructured":"Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and abstractor specifications. Sci. Comput. Program. 25(2\u20133), 149\u2013186 (1995)","journal-title":"Sci. Comput. Program."},{"key":"10_CR4","series-title":"Applied Logic Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid Logic and Its Proof-Theory","author":"T Br\u00e4uner","year":"2010","unstructured":"Br\u00e4uner, T.: Hybrid Logic and Its Proof-Theory. Applied Logic Series. Springer, Dordrecht (2010). https:\/\/doi.org\/10.1007\/978-94-007-0002-4"},{"issue":"1","key":"10_CR5","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"JA Goguen","year":"2000","unstructured":"Goguen, J.A., Malcolm, G.: A hidden agenda. Theor. Comput. Sci. 245(1), 55\u2013101 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/978-3-319-46750-4_24","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2016","author":"A Madeira","year":"2016","unstructured":"Madeira, A., Barbosa, L.S., Hennicker, R., Martins, M.A.: Dynamic logic with binders and its application to the development of reactive systems. In: Sampaio, A., Wang, F. (eds.) ICTAC 2016. LNCS, vol. 9965, pp. 422\u2013440. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46750-4_24"},{"key":"10_CR8","series-title":"PHI Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"key":"10_CR9","unstructured":"Reichel, H.: Behavioural validity of conditional equations in abstract data types. In: Proceedings of the Vienna Conference on Contributions to General Algebra 3, pp. 301\u2013324. B. G. Teubner Verlag (1985)"},{"key":"10_CR10","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-17336-3"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72044-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T13:01:29Z","timestamp":1570453289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72044-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319720432","9783319720449"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72044-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}