{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:17:44Z","timestamp":1762460264559},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030388072"},{"type":"electronic","value":"9783030388089"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","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":[[2020]]},"DOI":"10.1007\/978-3-030-38808-9_2","type":"book-chapter","created":{"date-parts":[[2020,1,13]],"date-time":"2020-01-13T17:03:25Z","timestamp":1578935005000},"page":"19-34","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Felix","family":"Mindt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,1,14]]},"reference":[{"issue":"2\u20133","key":"2_CR1","doi-asserted-by":"publisher","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":"2_CR2","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, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-94-007-0002-4"},{"key":"2_CR3","doi-asserted-by":"publisher","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)"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/BF01642507","volume":"3","author":"R Hennicker","year":"1991","unstructured":"Hennicker, R.: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Asp. Comput. 3(4), 326\u2013345 (1991)","journal-title":"Formal Asp. Comput."},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-72044-9_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"R Hennicker","year":"2017","unstructured":"Hennicker, R., Madeira, A.: Observational semantics for dynamic logic with binders. In: James, P., Roggenbach, M. (eds.) WADT 2016. LNCS, vol. 10644, pp. 135\u2013152. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-72044-9_10"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-030-16722-6_5","volume-title":"Fundamental Approaches to Software Engineering","author":"R Hennicker","year":"2019","unstructured":"Hennicker, R., Madeira, A., Knapp, A.: A hybrid dynamic logic for event\/data-based systems. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 79\u201397. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-16722-6_5"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.tcs.2018.02.033","volume":"741","author":"R Hennicker","year":"2018","unstructured":"Hennicker, R., Madeira, A., Wirsing, M.: Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741, 32\u201343 (2018)","journal-title":"Theor. Comput. Sci."},{"issue":"1&2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(96)00068-0","volume":"167","author":"M Hofmann","year":"1996","unstructured":"Hofmann, M., Sannella, D.: On behavioural abstraction and behavioural satisfaction in higher-order logic. Theor. Comput. Sci. 167(1&2), 3\u201345 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR9","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). \nhttps:\/\/doi.org\/10.1007\/978-3-319-46750-4_24"},{"key":"2_CR10","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River (1989)"},{"key":"2_CR11","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). \nhttps:\/\/doi.org\/10.1007\/978-3-540-31959-7_9"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-50325-0_10","volume-title":"Recent Trends in Data Type Specification","author":"MP Nivela","year":"1988","unstructured":"Nivela, M.P., Orejas, F.: Initial behaviour semantics for algebraic specifications. In: Sannella, D., Tarlecki, A. (eds.) ADT 1987. LNCS, vol. 332, pp. 184\u2013207. Springer, Heidelberg (1988). \nhttps:\/\/doi.org\/10.1007\/3-540-50325-0_10"},{"key":"2_CR13","unstructured":"Reichel, H.: Behavioural equivalence \u2013 a unifying concept for initial and final specifications. In: Arato, M., Varga, L. (eds.) In: Proceedings of the 3rd Hungarian Computer Science Conference, pp. 27\u201339. Akademiai Kiado (1981)"},{"key":"2_CR14","unstructured":"Reichel, H.: Behavioural validity of conditional equations in abstract data types. In: Proceedings of the 3rd Vienna Conference Contributions to General Algebra, pp. 301\u2013324. B.G. Teubner (1985)"},{"issue":"2\u20133","key":"2_CR15","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D Sannella","year":"1987","unstructured":"Sannella, D., Tarlecki, A.: On observational equivalence and algebraic specification. J. Comput. Syst. Sci. 34(2\u20133), 150\u2013178 (1987)","journal-title":"J. Comput. Syst. Sci."},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-12689-9_122","volume-title":"Foundations of Computation Theory","author":"D Sannella","year":"1983","unstructured":"Sannella, D., Wirsing, M.: A kernel language for algebraic specification and implementation extended abstract. In: Karpinski, M. (ed.) FCT 1983. LNCS, vol. 158, pp. 413\u2013427. Springer, Heidelberg (1983). \nhttps:\/\/doi.org\/10.1007\/3-540-12689-9_122"},{"key":"2_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-38808-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,13]],"date-time":"2020-01-13T17:16:47Z","timestamp":1578935807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38808-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030388072","9783030388089"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38808-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DALI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Dynamic Logic","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dali2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/workshop.dali.di.uminho.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}