{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T23:10:39Z","timestamp":1688253039273},"reference-count":23,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.115.6","type":"journal-article","created":{"date-parts":[[2013,5,24]],"date-time":"2013-05-24T06:56:03Z","timestamp":1369378563000},"page":"84-98","source":"Crossref","is-referenced-by-count":1,"title":["Bisimilarity and refinement for hybrid(ised) logics"],"prefix":"10.4204","volume":"115","author":[{"given":"Alexandre","family":"Madeira","sequence":"first","affiliation":[{"name":"Haslab-INESC TEC and Universidade do Minho"}]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[{"name":"CIDMA - Math. Department U. Aveiro"}]},{"given":"Lu\u00eds Soares","family":"Barbosa","sequence":"additional","affiliation":[{"name":"Haslab-INESC TEC and Universidade do Minho"}]}],"member":"2720","published-online":{"date-parts":[[2013,5,24]]},"reference":[{"key":"Agusti-CullellEGG90","series-title":"Lect Notes in Computer Science (512)","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BFb0028112","article-title":"Formalizing Multiple-Valued Logics as Institutions","volume-title":"Uncertainty in Knowledge Bases, IPMU 90","author":"Jaume Agusto-Cullell","year":"1990"},{"key":"hiding","first-page":"75","article-title":"Hiding and behaviour: an institutional approach","volume-title":"A Classical Mind: Essays in Honour of C.A.R. Hoare","author":"Rod Burstall","year":"1994"},{"key":"DBLP:journals\/jlp\/BidoitH06","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2005.09.002","article-title":"Constructor-based observational logic","volume":"67","author":"Michel Bidoit","year":"2006","journal-title":"J. Log. Algebr. Program."},{"key":"DBLP:conf\/wcii\/BeierleK02","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/11408017_10","article-title":"Looking at Probabilistic Conditionals from an Institutional Point of View","volume-title":"WCII","author":"Christoph Beierle","year":"2002"},{"key":"livro_brauner","series-title":"Applied Logic Series","volume-title":"Hybrid Logic and its Proof-Theory","author":"Torben Brauner","year":"2010"},{"key":"ASM03","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines. A Method for High-Level System Design and Analysis","author":"Egon B\u00f6rger","year":"2003"},{"key":"DBLP:journals\/jlp\/Cirstea06","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.jlap.2005.09.004","article-title":"An institution of modal logics for coalgebras","volume":"67","author":"Corina C\u00eerstea","year":"2006","journal-title":"J. Log. Algebr. Program."},{"key":"vbt","volume-title":"Model Theory for Extended Modal Languages","author":"Balder David ten Cate","year":"2005"},{"key":"DBLP:conf\/birthday\/CaleiroMSS06","series-title":"Lecture Notes in Computer Science (4060)","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11780274_4","article-title":"Quantum Institutions","volume-title":"Essays Dedicated to Joseph A. Goguen","author":"Carlos Caleiro","year":"2006"},{"key":"livrodiaconescu","volume-title":"Institution-independent Model Theory","author":"Razvan Diaconescu","year":"2008"},{"issue":"2","key":"DBLP:journals\/mlq\/Diaconescu11","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200910131","article-title":"On quasi-varieties of multiple valued logic models","volume":"57","author":"Razvan Diaconescu","year":"2011","journal-title":"Math. Log. Q."},{"issue":"1","key":"ins","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524","article-title":"Institutions: Abstract Model Theory for Specification and Programming","volume":"39","author":"Joseph A. Goguen","year":"1992","journal-title":"J. ACM"},{"key":"Gottwald01atreatise","series-title":"Studies in Logic and Computation, vol 9","volume-title":"A Treatise on Many-Valued Logics","author":"Siegfried Gottwald","year":"2001"},{"key":"gratzer","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra (2nd ed)","author":"G. Gr\u00e4tzer","year":"1979"},{"key":"Hodges:1997:SMT:262326","volume-title":"A shorter model theory","author":"Wilfrid Hodges","year":"1997"},{"key":"MacLaneS:catwm","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","volume":"5","author":"Saunders Mac Lane","year":"1971"},{"key":"madeirathesis","volume-title":"Foundations and techniques for software reconfigurability","author":"Alexandre Madeira","year":"2013 (to appear)"},{"key":"sefm11","series-title":"Lect Notes in Computer Science (7041)","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-24690-6_19","article-title":"Hybrid Specification of Reactive Systems: An Institutional Approach","volume-title":"Proc. 9th Inter. Conf. Software Engineering and Formal Methods (SEFM 2011)","author":"Alexandre Madeira","year":"2011"},{"key":"calco","series-title":"Lect Notes in Computer Science (6859)","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-22944-2_20","article-title":"Hybridization of Institutions","volume-title":"Proc. 4th International Conf. on Algebra and Coalgebra in Computer Science (CALCO 2011)","author":"Manuel A. Martins","year":"2011"},{"key":"Mossakowski:2006:SCP:1763794.1763801","series-title":"WADT'06","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-71998-4_6","article-title":"Structured CSP: a process algebra as an institution","volume-title":"Proc. 18th Inter. Conf. on Recent trends in algebraic development techniques","author":"Till Mossakowski","year":"2007"},{"key":"Par81","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","article-title":"Concurrency and Automata on Infinite Sequences","volume-title":"Proc. Conf. on Theoretical Computer Science","author":"D. Park","year":"1981"},{"key":"DBLP:journals\/tcs\/SchroderM09","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.11.020","article-title":"HasCasl: Integrated higher-order specification and program development","volume":"410","author":"Lutz Schr\u00f6der","year":"2009","journal-title":"Theor. Comput. Sci."},{"key":"livro_sannella","series-title":"EATCS Monographs on theoretical computer science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"Donald Sannella","year":"2012"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T22:35:06Z","timestamp":1688250906000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1305.6115v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,24]]},"references-count":23,"URL":"https:\/\/doi.org\/10.4204\/eptcs.115.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,24]]}}}