{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:28:39Z","timestamp":1759638519081},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319677286"},{"type":"electronic","value":"9783319677293"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67729-3_2","type":"book-chapter","created":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T05:04:04Z","timestamp":1505538244000},"page":"13-31","source":"Crossref","is-referenced-by-count":1,"title":["Institutions for Behavioural 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,9,17]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Br\u00fcckner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: the common algebraic specification language. Theor. Comput. Sci. 286(2), 153\u2013196 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"2_CR2","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1006\/jcss.1999.1660","volume":"59","author":"R Barbuti","year":"1999","unstructured":"Barbuti, R., Francesco, N.D., Santone, A., Vaglini, G.: Selective mu-calculus and formula-based equivalence of transition systems. J. Comput. Syst. Sci. 59(3), 537\u2013556 (1999)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1\u20132","key":"2_CR3","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."},{"key":"2_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 Bra\u00fcner","year":"2010","unstructured":"Bra\u00fcner, T.: Hybrid Logic and Its Proof-Theory. Applied Logic Series. Springer, Dordrecht (2010). doi: 10.1007\/978-94-007-0002-4"},{"key":"2_CR5","unstructured":"Goguen, J.: Types as theories. In: George Michael Reed, A.W.R., Wachter, R.F., (eds.) Topology and Category Theory in Computer Science (1991)"},{"issue":"1","key":"2_CR6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"issue":"1","key":"2_CR7","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":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1704","DOI":"10.1007\/3-540-48118-4_40","volume-title":"FM 1999 \u2014 Formal Methods","author":"J Goguen","year":"1999","unstructured":"Goguen, J., Ro\u015fu, G.: Hiding more of hidden algebra. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1704\u20131719. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48118-4_40"},{"key":"2_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9946.001.0001","volume-title":"Modeling and Analysis of Communicating Systems","author":"JF Groote","year":"2014","unstructured":"Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press, Cambridge (2014)"},{"key":"2_CR10","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":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-49253-4_20","volume-title":"Algebraic Methodology and Software Technology","author":"R Hennicker","year":"1998","unstructured":"Hennicker, R., Bidoit, M.: Observational logic. In: Haeberer, A.M. (ed.) AMAST 1999. LNCS, vol. 1548, pp. 263\u2013277. Springer, Heidelberg (1998). doi: 10.1007\/3-540-49253-4_20"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Madeira, A.: Behavioural semantics for the dynamic logic with binders. In: Roggenbach, M. (ed.) Recent Trends in Algebraic Development Methods - Selected Papers of WADT 2016. Springer (2016, to appear)","DOI":"10.1007\/978-3-319-72044-9_10"},{"key":"2_CR13","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). doi: 10.1007\/978-3-319-46750-4_24"},{"key":"2_CR14","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":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-31959-7_9","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M Misiak","year":"2005","unstructured":"Misiak, M.: Behavioural semantics of algebraic specifications in arbitrary logical systems. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol. 3423, pp. 144\u2013161. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31959-7_9"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519\u2013522. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71209-1_40"},{"key":"2_CR17","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Frontiers of Combining Systems (FroCoS 1998). Applied Logic Series, pp. 337\u2013360. Kluwer Academic Publishers (1998)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67729-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T15:18:21Z","timestamp":1570115901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67729-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319677286","9783319677293"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67729-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}