斯特凡·米利厄斯；马塞洛·M·邦桑格。；罗伯特·S·R·迈尔斯。；罗特，尤里安 合理的运营模式。 （英语） Zbl 1334.68137号 Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298257-282（2013）。 概述：GSOS是一种规范格式，用于过渡系统上的良好操作。Aceto引入了这种格式的一个限制，称为简单GSOS，它保证关联的转移系统是局部有限的，即每个状态只有有限多个不同的子态（即通过一系列转移可以到达的状态）。余代数理论为系统的统一研究提供了一个框架，包括标记转移系统，也包括加权转移系统和（非）确定性自动机。在这种情况下，GSOS可以在语法相对于行为的分布规律的一般水平上进行研究。在本文中，我们通过将抽象GSOS限制为双点规范，将Aceto的结果推广到余代数的设置。我们证明了双点规范的操作模型是局部有限的，即使对于具有无限多个具有有限依赖性的操作的规范也是如此。作为一个例子，我们导出了正则语言上操作的具体格式，并免费获得正则表达式对连接半格的方程具有有限多个导数。关于整个系列，请参见[Zbl 1310.68014号]。 引用于2文件 MSC公司： 68问题65 抽象数据类型；代数规范 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：联合布拉格；分配定律；常规工艺；简单GSOS；理性行为 PDF格式BibTeX公司 XML格式引用 \textit{S.Milius}等人，《电子》。注释Theor。计算。科学。298257-282（2013年；Zbl 1334.68137） 全文： 内政部 参考文献： [1] Aceto，L.，GSOS和有限标记跃迁系统，Theoret。计算。科学。，131, 181-195 (1994) ·Zbl 0822.68060号 [2] 丙酮，L。；福克金，W。；Verhoef，C.，《结构操作语义学》（过程代数手册（2001），爱思唯尔科学），197-292·Zbl 1062.68074号 [3] Adámek，J.，《自由代数和范畴语言中的自动机实现》，评论。数学。卡罗琳大学。，15, 589-602 (1974) ·Zbl 0293.18006号 [4] Adámek，J。；米利厄斯，S。；Velebil，J.，《自由迭代理论：联合观点》，《数学》。结构计算。科学。，13, 259-320 (2003) ·Zbl 1030.18004号 [5] Adámek，J。；米利厄斯，S。；Velebil，J.，《工作中的迭代代数》，数学。结构计算。科学。，16, 1085-1131 (2006) ·Zbl 1112.18005号 [6] 阿德梅克，J。；Porst，H.-E.，《树上的余代数和余代数演示》，Theoret。计算。科学。，311, 257-283 (2004) ·Zbl 1086.68088号 [7] Adámek，J。；罗西克？，J.，《本地可呈现和可访问类别》（1994年），剑桥大学出版社·Zbl 0795.18007号 [8] Adámek，J。；罗西克？，J.，《关于筛选大肠杆菌和广义变种的理论应用》。类别。，8, 33-53 (2001) ·Zbl 0971.18004号 [9] Adámek，J。；罗西克·J。；Vitale，E.，《代数理论》（2011），剑桥大学出版社·Zbl 1209.18001号 [10] Adámek，J。；Trnková，V.，《范畴中的自动机和代数、数学及其应用》，第37卷（1990年），Kluwer学术出版社·Zbl 0698.18001号 [11] Barr，M.，《等式和自由三元组》，数学。Z.，116，307-322（1970）·Zbl 0194.01701号 [12] Bartels，F.，《关于广义共创和概率规范格式》（2004），CWI:CWI阿姆斯特丹，博士论文 [13] 布鲁姆，B。；Istrail，S。；Meyer，A.，《互模拟无法追踪》，J.ACM，42，232-268（1995）·Zbl 0886.68027号 [14] Bonsangue，M。；米利厄斯，S。；Rot，J.，《关于系统理性行为的操作规范》，Elect。程序。Theoret的。计算。科学。，89，3-18（2012），EXPRESS/SOS’12·Zbl 1459.68124号 [15] Bonsangue，M。；米利厄斯，S。；Silva，A.，《组合语言等价的健全和完全公理化》，ACM Trans。计算。日志。，14 (2013) ·兹比尔1353.68186 [16] Brzozowski，J.A.，正则表达式的导数，J.ACM，11，481-494（1964）·Zbl 0225.94044号 [17] 加布里埃尔，P。；Ulmer，F.，Lokal präsenterbare Kategorien，数学课堂笔记。，第221卷（1971），施普林格·Zbl 0225.18004号 [18] Johnstone，P.，《石头空间》（1986），剑桥大学出版社·Zbl 0586.54001号 [19] Klin，B.，加权转换系统的结构操作语义，（语义和代数规范，语义和代数规格，LNCS，第5700卷（2009））·Zbl 1253.68214号 [20] Klin，B.，《结构操作语义的双代数：导论》，Theoret。计算。科学。，412, 5043-5069 (2011) ·Zbl 1246.68150号 [21] A.库尔兹。；罗西克，J.，《余代数的强完备逻辑》，Log。方法。计算中。科学。，8, 3-14 (2012) ·Zbl 1263.03063号 [22] Lenisa，M。；Power，A.J。；Watanabe，H.，操作语义学的范畴理论，Theoret。计算。科学。，327 (2004) ·兹比尔1071.68059 [23] Makkai，M。；Paré，R.，《可及范畴：范畴模型理论的基础》，当代数学。，第104卷（1989年），美国。数学。Soc.：美国。数学。佛罗里达州普罗维登斯Soc.Providence·兹比尔0703.03042 [24] Milius，S.，有限流电路的健全完整演算，（LICS 2010（2010）Proc.），421-430 [25] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号 [26] 腐烂；Bonsangue M，J。；Rutten，J.，Coalgebraic Bisimulation-Up-To，（2013年SOFSEM公报）。程序。SOFSEM 2013，讲稿计算。科学。，第7741卷（2013年），施普林格出版社，369-381·兹比尔1303.68088 [27] Rutten，J.，《宇宙余代数：系统理论》，Theoret。计算。科学。，249 (2000) ·Zbl 0951.68038号 [28] Rutten，J.，《流的共推演算》，《数学》。结构计算。科学。，15, 93-147 (2005) ·Zbl 1068.68061号 [29] Rutten，J.，《Rational streams coalebraically》，《Log》。方法。计算中。科学。，4, 1-22 (2008) ·Zbl 1147.68024号 [30] Shallit，J.，《形式语言和自动机理论第二课程》（2008），剑桥大学出版社 [31] Turi，D。；Plotkin，G.，《走向数学操作语义》（1997年《LICS Proc.of LICS》（1997）），280-291 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。