亚历山大·马德拉;马丁斯（Manuel A.Martins）。;路易斯·巴博萨。;罗尔夫·亨尼克 混合型机构的完善。 （英语） Zbl 1331.68149号 正式Asp。计算。 27，第2期，375-395（2015）. 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 03G30型 分类逻辑，拓扑 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：杂交;互模拟;精炼 软件：HasCasl公司;赫茨 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，正式Asp。计算。27，第2号，375--395（2015；Zbl 1331.68149） 全文： 内政部 链接 参考文献： [1] Agusti-Cullell J，Esteva F，Garcia P，Godo L（1990）将多值逻辑形式化为机构。在：Bouchon Meunier B，Yager RR，Zadeh LA（eds）第三届知识系统中不确定性的信息处理和管理国际会议（IPMU 90，法国巴黎，1990年7月2-6日）。计算机科学课堂讲稿，第521卷。施普林格，第269-278页·Zbl 0800.68861号 [2] 区域C，十类B（2006）混合逻辑。收录：Blackburn P，Wolter F，van Benthem J（eds）模态逻辑手册。阿姆斯特丹爱思维尔，第821-868页 [3] Burstall R，Diaconescu R（1994）《隐藏与行为：制度方法》。收录于：罗斯科·W（编辑）《经典思维：纪念C.A.R.霍尔的散文》。赫特福德郡Prentice Hall，第75-92页 [4] Blackburn P，de Rijke M，Venema Y（2001）模态逻辑。剑桥大学出版社，《剑桥理论计算机科学丛书》，第53位·Zbl 0988.03006号 [5] Bidoit M，Hennicker R（2006），基于构造的观测逻辑。逻辑代数J Progr 67（1-2）：3-51·Zbl 1088.68112号 ·doi:10.1016/j.jlap.2005.09.002 [6] Beierle C，Kern-Isberner G（2005）从制度角度看概率条件句。收录：Kern-Isberner G，Rödder W，Kulmann F（eds）Conditional，information，and inference（修订后的WCII 2002精选论文，德国哈根，2002年5月13日至15日）。计算机科学课堂讲稿，第3301卷。施普林格，第162-179页·Zbl 1111.03022号 [7] Brauner T（2010）混合逻辑及其证明理论。荷兰施普林格应用逻辑系列·Zbl 1241.03028号 [8] Börger E，Stärk R（2003）抽象状态机：高级系统设计和分析的方法。柏林斯普林格·Zbl 1040.68042号 ·doi:10.1007/978-3642-18216-7 [9] Blackburn P，Van Benthem J（2007）《模态逻辑：语义视角》。收录：Blackburn P、Wolter F、van Benthem J（eds）《模态逻辑手册》，逻辑和实践推理研究，第3卷。阿姆斯特丹爱思唯尔，第1-82页·Zbl 1114.03001号 [10] Cìrstea C（2006），余代数模态逻辑研究所。逻辑代数学报67（1-2）：87-113·Zbl 1095.03081号 [11] Caleiro C、Mateus P、Sernadas A、Sernada C（2006）量子机构。收录于：Futatsugi K，Jouannaud J-P，Meseguer J（eds）Algebra，mean，and calculation，Joseph A.Goguen在65岁生日之际发表的论文。计算机科学课堂讲稿，第4060卷。施普林格，第50-64页·Zbl 1172.68040号 [12] Diaconescu R（2008），机构依赖模型理论。研究普遍逻辑。巴塞尔Birkhäuser·Zbl 1144.03001号 [13] Diaconescu R（2011）关于多值逻辑模型的拟变量。数学日志Q 57（2）：194-203·Zbl 1241.03028号 ·doi:10.1002/malq.200910131 [14] Diaconescu R，Madeira A（2014）《将杂交机构编码为一阶逻辑》。数学结构计算科学。doi:10.1017/S0960129514000383·Zbl 1362.03058号 [15] Ehrig H，Mahr B（1985）代数规范基础1：方程和初始语义。理论计算机科学专著，EATCS系列。柏林施普林格·Zbl 0557.68013号 [16] Goguen JA，Burstall RM（1992）《机构：规范和编程的抽象模型理论》。美国临床医学杂志39（1）：95-146·兹比尔0799.68134 ·数字对象标识代码：10.1145/147508.147524 [17] Gottwald S（2001）《关于多值逻辑的论文》。逻辑与计算研究，第9卷。巴尔多克研究出版社·Zbl 1048.03002号 [18] Grätzer G（1979）《泛代数》。纽约州施普林格·兹标0412.08001 [19] Hodges W（1997）一个较短的模型理论。剑桥大学出版社·Zbl 0873.03036号 [20] Indrzejczak A（2007）模态混合逻辑。逻辑日志Philos 16:147-257·Zbl 1145.03009号 [21] Madeira A（2013）软件可重构性基础与技术。Minho、Aveiro和Porto大学博士论文（MAP-i联合博士项目） [22] Madeira A、Faria JM、Martins MA、Barbosa LS（2011）《反应系统的混合规范：制度方法》。收录人：Barthe G、Pardo A、Schneider G（编辑）《软件工程与形式方法》（SEFM 2011，乌拉圭蒙得维的亚，2011年11月14日至18日）。计算机科学课堂讲稿，第7041卷。施普林格，第269-285页·Zbl 1350.68190号 [23] Milner R（1989）通信与并发。计算机科学系列。普伦蒂斯·霍尔，恩格尔伍德悬崖·Zbl 0683.68008号 [24] Madeira A、Martins MA、Barbosa LS（2013）混合逻辑的相似性和精化。In:Derrick J、Boiten EA、Reeves S（eds）Refine-Procesdings第16届国际精炼研讨会。理论计算机科学电子会议录，第115卷，第84-98页 [25] Martins MA，Madeira A，Diaconescu R，Barbosa LS（2011）机构混合。收录于：Corradini A、KlIn B、Crstea C（eds）计算机科学中的代数和余代数（CALCO 2011，英国温彻斯特，2011年8月30日至9月2日）。计算机科学课堂讲稿，第6859卷。施普林格，第283-297页·Zbl 1343.03052号 [26] Mossakowski T、Maeder C、Lüttich K（2007）《异质工具集》，Hets。收录：Grumberg O，Huth M（eds）《系统构建和分析的工具和算法》（TACAS 2007-Braga，葡萄牙，2007年3月24日-4月1日）。计算机科学课堂讲稿，第4424卷。施普林格，第519-522页·兹比尔1116.68006 [27] Madeira A、Neves R、Martins MA、Barbosa LS（2013），即使是界面也在发展。参见：Wang H，Banach R（eds）《TASE会议录》（第七届IEEE软件工程理论方面研讨会，伯明翰，2013年7月）。IEEE计算机学会，第79-82页·Zbl 1145.03009号 [28] Mossakowski T、Roggenbach M（2006）《结构化CSP——作为机构的过程代数》。收录：Fiadeiro JL，Schobbens P-Y（eds）代数发展技术的最新趋势（2006年WADT的修订论文，比利时拉罗什·阿尔登内，2006年6月1日至3日）。计算机科学课堂讲稿，第4409卷。施普林格，第92-110页·Zbl 1172.68040号 [29] Neves R、Madeira A、Martins MA、Barbosa LS（2013）《工作中的杂交》。摘自：Heckel R、Milius S（eds）《计算机科学中的代数与联合——第五届国际会议》，CALCO 2013，波兰华沙，2013年9月3日至6日。计算机科学论文集，第8089卷，施普林格，第340-345页·兹伯利1396.68113 [30] Park D（1981）无限序列上的并发性和自动机。收录：Deussen P（ed）理论计算机科学（第五届全球信息大会，德国卡尔斯鲁厄，1981年3月23日至25日）。计算机科学课堂讲稿，第104卷。施普林格，第167-183页·Zbl 0457.68049号 [31] Sannella D（1999）代数规范和逐步细化的程序开发。In:Bossi A（ed）基于逻辑的程序合成和转换。计算机科学课堂讲稿，第1817卷。意大利威尼斯施普林格，第1-9页 [32] Sangiorgi D（2009）《关于互模拟和共归纳的起源》。ACM Trans Progr Lang系统31（4）：1-41。doi:10.1145/1516507.1516510·Zbl 1285.68112号 [33] Szepesia R，Ciocarie H（2011）《软件重构概述》。理论应用数学计算科学1:74-79 [34] Schröder L，Mossakowski T（2009）HasCasl：集成高阶规范和程序开发。《计算机科学》410（12-13）：1217-1260·兹比尔1172.68040 ·doi:10.1016/j.tcs.2008.11.020 [35] Sannella D，Tarlecki A（2012）代数规范和正式软件开发基础。理论计算机科学专著，EATCS系列。施普林格·Zbl 1237.68129号 [36] Tarlecki A（2003）抽象规范理论：概述。收录：Broy M、Pizka M（eds）模型、代数和工程软件逻辑。北约科学系列，计算机和系统科学，第191卷。IOS出版社，第43-79页 [37] ten Cate BD（2005）扩展模态语言的模型理论。阿姆斯特丹大学逻辑、语言和计算研究所博士论文·Zbl 1089.03014号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。