文件大小：437 kB 14页
P-可及范畴模型中的互模拟与展开
作者
-
部分： 体积： 第27届并行理论国际会议（CONCUR 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-08-24
文件
文件标识符
引用为 获取BibTex
摘要
关键词
分类模型 互模拟 核心屈曲 展开 通用覆盖层
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
F.Borceux。 范畴代数手册2：范畴和结构。 剑桥大学出版社，1994年。 
-
J.Esparza和K.Heljanko。 展开：模型检查的部分顺序方法。 理论计算机科学专著。 EATCS系列。 Springer Publishing Company，Incorporated，2008年。
-
A.Girard、A.A.Julius和G.J.Pappas。 一类随机混合系统的近似互模拟。 2006年6月，2006年美国控制会议。
-
A.海彻。 代数拓扑。 剑桥大学出版社，2002年。
-
A.Joyal和I.Moerdijk。 开映射的完备性定理。 《纯粹逻辑与应用逻辑年鉴》，70:51-861994年。
-
A.Joyal、M.Nielsen和G.Winskel。 从开放地图进行双向模拟。 信息与计算，127（2）：164-1851996。
-
G.Lafferiere、G.J.Pappas和S.Sastry。 混合系统V，有限双向模拟混合系统一章，第186-203页。 施普林格-柏林-海德堡，1999年。
-
M.Makkai和R.Paré。 可及范畴：范畴模型理论的基础当代数学。 104.美国数学学会，1989年。
-
J.P.May，代数拓扑简明教程。 芝加哥数学讲座。 芝加哥大学出版社，1999年。
-
M.Nielsen、G.Plotkin和G.Winskel。 Petri网，事件结构和域，第一部分理论。 计算。 科学。， 13:85-108, 1981.
-
M.尼尔森和G.温斯克。 并发模型。 牛津大学出版社，1995年。
-
无限序列上的并发与自动机。 计算机科学课堂讲稿，154:167-1831981。
-
G.Winskel。 Petri网上形态的新定义。 1984年4月11日至13日，法国巴黎，STACS 84，计算机科学理论方面研讨会，《会议记录》，第140-150页，1984年。
-
G.Winskel。 事件结构。 《在Petri网：中心模型及其性质》，《1986年Petri网进展》，第二部分，高级课程论文集，Bad Honnef，8.-19。 1986年9月，第325-392页，1986年。