{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T03:44:40Z","timestamp":1648957480615},"reference-count":13,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.209.4","type":"journal-article","created":{"date-parts":[[2016,6,4]],"date-time":"2016-06-04T15:50:15Z","timestamp":1465055415000},"page":"40-56","source":"Crossref","is-referenced-by-count":1,"title":["A logic for n-dimensional hierarchical refinement"],"prefix":"10.4204","volume":"209","author":[{"given":"Alexandre","family":"Madeira","sequence":"first","affiliation":[{"name":"HASLab INESC TEC & Universidade do Minho"}]},{"given":"Manuel","family":"A. Martins","sequence":"additional","affiliation":[{"name":"CIDMA & Dep Matem\u00e1tica Universidade de Aveiro"}]},{"given":"Lu\u00eds","family":"S. Barbosa","sequence":"additional","affiliation":[{"name":"HASLab INESC TEC & Universidade do Minho"}]}],"member":"2720","published-online":{"date-parts":[[2016,6,4]]},"reference":[{"issue":"3","key":"manifesto","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","article-title":"Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto","volume":"8","author":"Blackburn","year":"2000","journal-title":"Logic Journal of IGPL"},{"key":"livro_brauner","series-title":"Applied Logic Series","volume-title":"Hybrid Logic and its Proof-Theory","author":"Brauner","year":"2010"},{"key":"CardelliG98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","article-title":"Mobile Ambients","volume-title":"Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings","volume":"1378","author":"Cardelli","year":"1998"},{"key":"paperdiaco","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129514000383","article-title":"Encoding hybridized institutions into first-order logic","volume":"FirstView","author":"Diaconescu","year":"2015","journal-title":"Mathematical Structures in Computer Science"},{"key":"DBLP:journals\/acta\/GlabbeekG01","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","article-title":"Refinement of actions and equivalence notions for concurrent systems","volume":"37","author":"van Glabbeek","year":"2001","journal-title":"Acta Inf."},{"issue":"1","key":"ins","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: Abstract Model Theory for Specification and Programming","volume":"39","author":"Goguen","year":"1992","journal-title":"J. ACM"},{"issue":"3","key":"DBLP:journals\/scp\/Harel87","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A Visual Formalism for Complex Systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Program."},{"key":"DBLP:journals\/corr\/KnappMR14","article-title":"An Institutional Framework for Heterogeneous Formal Development in UML","volume":"abs\/1403.7747","author":"Knapp","year":"2014","journal-title":"CoRR"},{"key":"DBLP:conf\/birthday\/KnappMR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-15545-6-15","article-title":"Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -","volume-title":"Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering","volume":"8950","author":"Knapp","year":"2015"},{"key":"madeirathesis","volume-title":"Foundations and techniques for software reconfigurability","author":"Madeira","year":"2013"},{"issue":"2","key":"DBLP:journals\/fac\/MadeiraMBH15","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s00165-014-0327-6","article-title":"Refinement in hybridised institutions","volume":"27","author":"Madeira","year":"2015","journal-title":"Formal Asp. Comput."},{"key":"aiml14","first-page":"74","article-title":"Introducing Hierarchical Hybrid Logic","volume-title":"Advances in Modal Logic 2014","author":"Madeira","year":"2014"},{"key":"calco","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-22944-2_20","article-title":"Hybridization of Institutions","volume-title":"Algebra and Coalgebra in Computer Science (CALCO 2011, Winchester, UK, August 30 - September 2, 2011)","volume":"6859","author":"Martins","year":"2011"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T09:12:04Z","timestamp":1465809124000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1606.02019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,4]]},"references-count":13,"URL":"https:\/\/doi.org\/10.4204\/eptcs.209.4","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,4]]}}}