×
斯特凡诺·卡桑吉安;安娜·拉布拉

Conduché属性和基于树的类别。 （英语） Zbl 1208.18006号

J.纯应用。代数 214，第3期，221-235（2010）.
摘要：本文重点讨论了用于并发语义的富余函子的一个性质，该性质反映了语态的因式分解。根据F.W.劳弗尔[“状态范畴和响应函子”，1986年，未出版手稿]，严格反映态射因子分解的函子在其域上诱导了状态的概念，当它被视为控制函子时。这种直觉在物理和计算过程中都有效[M.邦吉和M.P.菲奥雷，数学。结构。计算。科学。10，第2期，137-163（2000年；Zbl 0987.18002号),M.P.菲奥雷，“过程的纤维模型：离散、连续和混合系统”，in：Proc。IFIP TCS 2000的Lect。注释计算。科学。1872, 457–473 (2000;Zbl 0998.68539号)].
在本文中，我们研究了我们在别处提出的用于通信过程的模型族中的一个更一般的属性，并评估了它们的互模拟关系[S.Kasangian河和A.标签，数学。结构。计算。科学。9，第6期，687–718（1999年；Zbl 0954.68115号);R.De Nicola、D.Gorla和A.标签，“树函子，确定性和互模拟”，技术报告，2006年2月，Dip。di Informatica，罗马大学“La Sapienza”（2008），数学。结构。计算。科学。20, 319–358 (2010;Zbl 1206.68214号)]. 因此，我们采用了“Conduché条件”的概念[F.康杜塞，C.R.学院。科学。，巴黎，Sér。A 275891–894（1972年；Zbl 0242.18012)]以丰富范畴理论为背景。这个概念比Lawvere最初使用的“Moebius条件”弱，实际上似乎更适合于通过基的改变机制来描述由基类别参数化的并发模型。基本范畴是一个单体2范畴；由此得到一类广义树，即（{mathcal T}ree）。我们考虑基于Conduché（{mathcal T}ree）的范畴，其中富集反映了基范畴中对象的因式分解。我们证明了Conduché定理的一种形式对Conduchö（{mathcal T}ree）-函子成立。我们还展示了Conduché条件如何在建模并发过程和它们之间的互模拟中发挥关键作用。“国家保全”和“确定性”的概念[R.米尔纳《通信与并发》，普伦蒂斯·霍尔国际，普伦提斯·霍尔国际计算机科学系列。纽约：普伦蒂斯·霍尔（1989；Zbl 0683.68008号)]是正式的特征。

引用于1审查
引用于2文件

MSC公司：

18D20天 丰富的类别（超封闭或单体类别）
68问题55 计算理论中的语义学
18 C50 形式语言的范畴语义
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

引文：

Zbl 0987.18002号;Zbl 0998.68539号;Zbl 0954.68115号;Zbl 1206.68214号;Zbl 0242.18012号;Zbl 0683.68008号
PDF格式BibTeX公司 XML格式引用
\textit{S.Kasangian}和\textit{A.Labela}，J.Pure Appl。代数214，第3期，221--235（2010；Zbl 1208.18006）
全文： 内政部

参考文献：

[2] 邦吉，M。；Fiore，M.P.，唯一因子提升函子和线性控制过程的类别，数学。计算中的结构。科学。，10, 2, 137-163 (2000) ·Zbl 0987.18002号
[3] Fiore，M.P.，《过程的纤维模型：离散、连续和混合系统》（IFIP TCS 2000 Proc.）。程序。IFIP TCS 2000，LNCS，第1872卷（2000）），457-473·Zbl 0998.68539号
[4] Conduché，F.，《猫的存在》，C.R.Acad。科学。巴黎，275，A891-894（1972）·Zbl 0242.18012号
[5] 卡桑吉安，S。；Labela，A.，作为并发模型的观察树，数学。结构计算。科学。，9, 687-718 (1999) ·兹比尔0954.68115
[6] Milner，R.，《沟通与并行》（1989），普伦蒂斯·霍尔国际出版社·Zbl 0683.68008号
[7] Walters，R.，Sheeves and Cauchy-complete categories，加利福尼亚州。白杨。地理。不同。，22, 283-286 (1981) ·Zbl 0495.18009号
[8] 贝蒂，R。；Kasangian，S.，自动机的准通用实现，Rend。问题。特里亚斯特马特大学，14，41-48（1982）·Zbl 0574.68048号
[9] 艾伦伯格，S。；Kelly，G.，（闭范畴.闭范畴，范畴代数会议论文集，La Jolla 1965（1966），Springer），421-562·Zbl 0192.10604号
[10] 贝蒂，R。；Carboni，A。；R街。；Walters，R.，《通过浓缩变化》，J.Pure Appl。代数，29，109-127（1983）·Zbl 0571.18004号
[11] 卡桑吉安，S。；Labela，A.，《关于连续时间代理》，（编程语义学的数学基础。编程语义的数学基础，LNCS，第598卷（1992年），Springer:Springer-Berlin），403-425·Zbl 1518.68131号
[13] Park，D.，无限序列上的并发性和自动机，（Theoret.Compute.Sci.Proc.of Theoret.Compute.Sic.，LNCS，vol.104（1981），Springer），167-183·Zbl 0457.68049号
[14] 卡桑吉安，S。；Labela，A.，《分布式计算的丰富范畴语义》，J.Pure Appl。数学。，83, 295-321 (1992) ·Zbl 0777.18007号
[15] Kelly，G.，《丰富范畴理论的基本概念》（1982），剑桥大学出版社·Zbl 0478.18005号
[16] Mazurkiewicz，A.，《迹理论》（LNCS，第255卷（1987），施普林格出版社），279-324·Zbl 0633.68051号
[17] Labela，A.，《和与右分配张量积的范畴》，J.Pure Appl。代数，178，3，273-296（2003）·兹比尔1013.18006
[18] 范·格拉贝克，R。；Weijland，W.，互模拟语义中的分支时间和抽象，J.ACM，43，3，555-600（1996）·Zbl 0882.68085号
[20] 菲奥雷，M。；Cattani，G.L。；Winskel，G.，（弱互模拟和开放映射.弱互模拟与开放映射，LICS Proc.（1999），IEEE），67-76
[21] 乔亚尔，A。；尼尔森，M。；Winskel，G.，《互模拟和开放映射》（LICS Proc.of LICS（1993），IEEE），418-427
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。