文件Open Access徽标

标称过程计算的规则格式

作者 卢卡·埃特罗, 伊格纳西奥·法布雷加斯, 阿尔瓦罗·加西亚·佩雷斯, Anna Ingólfsdóttir女士, 尤兰达·奥尔特加购物中心

PDF格式
缩略图PDF

文件

LIPIcs公司。合同2017.10.pdf
  • 文件大小：0.53 MB
  • 16页

文件标识符

作者详细信息

卢卡·埃特罗
伊格纳西奥·法布雷加斯
阿尔瓦罗·加西亚·佩雷斯
Anna Ingólfsdóttir女士
约兰达·奥尔特加购物中心

引用为获取BibTex

卢卡·埃托奥（Luca Aceto）、伊格纳西奥·法布雷加斯（Ignacio Fábregas）、阿尔瓦罗·加西亚·佩雷斯（Alvaro García-Pérez）、安娜·英戈夫斯多蒂尔（Anna Ingólfsdóttir）和尤兰达·奥尔特加购物中心。标称过程计算的规则格式。第28届并行理论国际会议（CONCUR 2017）。莱布尼茨国际信息学论文集（LIPIcs），第85卷，第10:1-10:16页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）
https://doi.org/10.4230/LIPIcs.CONCUR.2017.10

摘要

Parrow等人的标称转换系统（NTS）描述了标称过程计算的操作语义。我们根据我们引入的标称剩余跃迁系统（NRTS）来研究NTS。我们为NRTS规范提供了规则格式，以确保相关NRTS是NTS，并将其应用于早期像素的操作规范。我们的研究源于Cimini等人最近的Nominal SOS，以及Gabbay、Pitts及其合作者在标称集和标称逻辑方面的早期工作。
关键词
  • 标称集
  • 名词性结构操作语义
  • 进程代数
  • 标称过渡系统
  • 范围开放
  • 规则格式

韵律学

工具书类

  1. L.Aceto、M.Cimini、M.J.Gabbay、A.Ingólfsdóttir、M.R.Mousavi和M.A.Reniers。标称结构操作语义。正在准备中。谷歌学者
  2. L.Aceto、W.Fokkink和C.Verhoef。结构操作语义。《过程代数手册》第3章，第197-292页。Elsevier，2001年。谷歌学者
  3. L.Aceto，I.Fábregas，阿拉斯加州。加西亚·佩雷斯和a.Ingólfsdóttir。SOS中有界不确定性的统一规则格式，以术语作为标签。《程序设计中的逻辑和代数方法杂志》，2017年。网址：网址：http://dx.doi.org/10.1016/j.glamp.2017.03.002.
  4. J.Bengtson和J.Parrow。使用标称逻辑对像素进行形式化。《计算机科学中的逻辑方法》，5（2），2009年。网址：http://dx.doi.org/10.2168/LMCS-5(2:16)2009.
  5. K·L·伯恩斯坦。高阶语言结构化操作语义的同余定理。在第13届IEEE计算机科学逻辑年会上，第153-164页。IEEE计算机学会，1998年。网址：http://dx.doi.org/10.109/LICS.1998.705652.
  6. S.Burris和H.P.Sankappanavar。通用代数课程：千年版。Springer Verlag，2000年。谷歌学者
  7. M.Cimini、M.R.Mousavi、M.A.Reniers和M.J.Gabbay。标称SOS。理论计算机科学电子笔记，286:103-1162012。网址：http://dx.doi.org/10.1016/j.entcs.2012.08.08.
  8. R.Clouston和A.Pitts。名义方程式逻辑。理论计算机科学电子笔记，172:223-2572007。网址：http://dx.doi.org/10.1016/j.entcs.2007.02.009.
  9. M.Fernández和M.J.Gabbay。名义重写。信息与计算，205（6）：917-9652007。网址：http://dx.doi.org/10.1016/j.ic.2006.12.002.
  10. M.P.Fiore和S.Staton。用于名称传递进程计算的同余规则格式。信息与计算，207（2）：209-2362009。网址：http://dx.doi.org/10.1016/j.ic.2007.12.005.
  11. M.P.Fiore和D.Turi。名称和值传递的语义。第16届IEEE计算机科学逻辑年会，第93-104页。IEEE计算机学会，2001年。网址：http://dx.doi.org/10.1109/LICS.2001.932486.
  12. W.Fokkink、R.J.van Glabbeek和P.de Wind。通过结构操作语义实现轩尼诗-米尔纳逻辑的组合性。理论计算机科学，354（3）：421-4402006。网址：http://dx.doi.org/10.1016/j.tcs.2005.11.035.
  13. W.Fokkink和C.Verhoef。保守地看待变量绑定的操作语义。信息与计算，146（1）：24-541998。网址：http://dx.doi.org/10.1006/inco.1998.2729.
  14. W.Fokkink和T.D.Vu。结构操作语义和有界不确定性。信息学学报，39（6-7）：501-5162003。网址：http://dx.doi.org/10.1007/s00236-003-0111-1.
  15. M.J.Gabbay和A.Mathijssen。名义（通用）代数：具有名称和约束的等式逻辑。逻辑与计算杂志，19（6）：1455-15082009。网址：http://dx.doi.org/10.1093/logcom/exp033.
  16. M.J.Gabbay和A.Mathijssen。lambda演算的名义公理化。逻辑与计算杂志，20（2）：501-5312010。网址：http://dx.doi.org/10.1093/log.com/exp049.
  17. M.J.Gabbay和A.Pitts。使用变量绑定实现抽象语法的新方法。计算的形式方面，13（3-5）：341-3632002。网址：http://dx.doi.org/10.1007/s001650200016.
  18. J.A.Goguen、J.W.Thatcher、E.G.Wagner和J.B.Wright。初始代数语义和连续代数。美国医学会杂志，24（1）：68-951977。网址：http://dx.doi.org/10.1145/321992.321997.
  19. C.A.Middelburg。过渡系统规范中的变量绑定运算符。逻辑与代数编程杂志，47（1）：15-452001。网址：http://dx.doi.org/10.1016/S1567-8326(00)00003-5.
  20. C.A.Middelburg。具有约束条件的操作保守性的替代公式。逻辑与代数编程杂志（JLAP），55（1-2）：1-192003。网址：http://dx.doi.org/10.1016/S1567-8326(02)00039-5.
  21. R.Milner、J.Parrow和D.Walker。移动进程的微积分（第一部分和第二部分）。信息与计算，100（1）：1-771992。网址：http://dx.doi.org/10.1016/0890-5401(92)90008-4.
  22. M.R.Mousavi、M.A.Reniers和J.F.Groote。SOS格式和元理论：20年后。理论计算机科学，373（3）：238-2722007。网址：http://dx.doi.org/10.1016/j.tcs.2006.12.019.
  23. J.Parrow、J.Borgström、L.-H.Eriksson、R.Gutkovas和T.Weber。标称过渡系统的模态逻辑。在第26届并行理论国际会议上，LIPIcs第42卷，第198-211页。Schloss Dagstuhl，2015年。网址：http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.198.
  24. J.Parrow、T.Weber、J.Borgsteröm和L.-H.Eriksson。弱标称模态逻辑。分布式对象、组件和系统的形式化技术-第37届IFIP WG 6.1国际会议，FORTE 2017，计算机科学讲义第10321卷，第179-193页。施普林格，2017年。网址：http://dx.doi.org/10.1007/978-3-319-60225-7_13.
  25. A.皮特斯。名词集：计算机科学中的名称和对称性。剑桥大学出版社，2013年。谷歌学者
  26. A.皮特斯。标称技术。ACM SIGLOG新闻，3（1）：57-722016。网址：http://dx.doi.org/10.1145/2893582.2893594.
  27. G.D.Plotkin。操作语义的结构方法。《逻辑与代数编程杂志》，60-61:17-1392004年。谷歌学者
  28. D.Sangiorgi，pi-演算，内部流动性和代理传递演算。理论计算机科学，167（1&2）：235-2741996。网址：http://dx.doi.org/10.1016/0304-3975(96)00075-8.
  29. D.Sangiorgi和D.Walker。π演算-移动过程理论。剑桥大学出版社，2001年。谷歌学者
  30. C.Urban、A.Pitts和M.J.Gabbay。名义统一。理论计算机科学，323（1-3）：473-4972004。网址：http://dx.doi.org/10.1016/j.tcs.2004.06.016.
  31. A.Ziegler、D.Miller和C.Palamidessi。用于名称传递计算的同余格式。理论计算机科学电子笔记，156（1）：169-1892006。网址：http://dx.doi.org/10.1016/j.entcs.2005.09.032.
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人