×
张燕;朱兆辉;张金金

关于逻辑LTS上的递归操作。 （英语） 兹比尔1362.68224

数学。结构。计算。科学。 25，第6期，1382-1431（2015）.
摘要：最近，为了在统一的框架中混合代数和逻辑形式的规范，引入并探索了逻辑标记转换系统（logic LTS或LLTS）的概念。LLTS上的各种构造函数，包括通常的过程代数运算符、逻辑连接符(结合和分离)和标准时间模式(总是和除非)，已给出。然而，到目前为止，还没有尝试开发关于LLTS上（嵌套）递归操作的一般理论，一些基本问题仍有待解决。本文打算用纯过程代数的方式研究这个问题。将建立一些基本性质，包括方程的预相合性和一致解的唯一性。

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题65 抽象数据类型；代数规范
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zhang}等人，数学。结构。计算。科学。25，第6号，1382--1431（2015；Zbl 1362.68224）
全文： DOI程序 arXiv公司

参考文献：

[1] 内政部：10.1016/0304-3975（83）90114-7·兹比尔0512.68026 ·doi:10.1016/0304-3975（83）90114-7
[2] 通信与并发（1989）·Zbl 0683.68008号
[3] DOI:10.1016/j.ic.2010.02.001·Zbl 1197.68053号 ·doi:10.1016/j.ic.2010.02.001
[4] DOI:10.1016/j.tcs.2006.10.022·Zbl 1111.68085号 ·doi:10.1016/j.tcs.2006.10.022
[5] 信息与计算94 pp 1–（2010）
[6] 模型检查（2000）
[7] 通信顺序过程（1985）·Zbl 0637.68007号
[8] 内政部：10.1145/234752.234756·Zbl 0889.68113号 ·doi:10.1145/234752.234756
[9] 内政部：10.1016/0304-3975（93）90111-6·Zbl 0778.68057号 ·doi:10.1016/0304-3975（93）90111-6
[10] 内政部：10.1145/200836.200876·Zbl 0886.68027号 ·doi:10.1145/200836.200876
[11] 理论计算机科学34 pp 83–（1983）
[12] DOI:10.1016/S1571-0661（05）80362-7·Zbl 1270.68210号 ·doi:10.1016/S1571-0661（05）80362-7
[13] DOI:10.1016/S0019-9958（84）80025-X·Zbl 0597.68027号 ·doi:10.1016/S0019-9958（84）80025-X
[14] 内政部：10.1007/3-540-44450-5_25·doi:10.1007/3-540-444450-5_25
[15] 内政部：10.1016/B978-044482830-9/50023-0·doi:10.1016/B978-044482830-9/50023-0
[16] DOI:10.1017/0960129508007111·Zbl 1158.68028号 ·doi:10.1017/S096012908007111
[17] 第九届IEEE计算机科学逻辑年会论文集第144页–（1994）
[18] DOI:10.1017/S0960129511000375·Zbl 1279.68181号 ·doi:10.1017/S0960129511000375
[19] 计算机科学基础研讨会（FOCS 1977）第46页–（1977）
[20] 软件可靠性方法（2001）
[21] 内政部：10.1016/0890-5401（92）90008-4·兹伯利0752.68036 ·doi:10.1016/0890-5401（92）90008-4
[22] 内政部：10.1016/0890-5401（89）90070-9·Zbl 0688.68050号 ·doi:10.1016/0890-5401（89）90070-9
[23] DOI:10.1016/j.tcs.2011.03.015·Zbl 1216.68193号 ·doi:10.1016/j.tcs.2011.03.015
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。