摘要
摘要
[Abr84] Abrial JR（1984）程序的数学结构。 摘自：《计算机编程科学》第4卷。 Elsevier，第45-86页。 doi（操作界面）： https://doi.org/10.1016/0167-6423 （84）90011-X 谷歌学者 
[比亚尔佩斯09b] Bialkiewicz J-A，Peschanski F（2009）流动性的指称研究。 在：通信过程体系结构，第67卷。 IOS出版社，第239-261页。 内政部： https://doi.org/10.3233/978-1-60750-065-0-239 谷歌学者 [博雷98] Boreale M（1998），关于通过名字计算的内部流动性的表达。 收录于：《理论计算机科学》第195卷。 Elsevier，第205-226页。 内政部： https://doi.org/10.1016/S0304-3975 （97）00220-X 谷歌学者 [布罗伊93] Broy M、Dederichs F、Dendorfer C、Fuchs M、Gritzner TF、Weber R（1993）《分布式系统设计——FOCUS简介》（修订版），慕尼黑大学技术报告。 citeseer.edu/broy93.pdf 谷歌学者 【CavWoo06】 Cavalcanti A，Woodcock J（2006）统一编程理论中CSP的教程介绍。 In：软件工程中的优化技术，Springer。 第220–268页。 内政部： https://doi.org/10.1007/11889229_6 谷歌学者 【Ek16a】 Ekembe Ngondi G（2016）移动渠道统一理论。 摘自：EPTCS第209卷第17届国际精炼研讨会论文集。 第24-39页。 内政部： https://doi.org/10.4204/EPTCS.209.3 谷歌学者 【Ek16b】 带延续的反应过程的UTP语义 UTP、LNCS国际研讨会论文集 2016 10134 114 133 10.1007/978-3-319-52228-9_6 06700460 谷歌学者 【Ek16】 Ekembe Ngondi G（2016）《统一编程理论（UTP）中的移动性表示语义》，约克大学博士论文。 http://etheses.whiterose.ac.uk/16525/7/Thesis_draft6_1.pdf etheses.whiterose.ac.uk/ek16.pdf 谷歌学者 【Giu12】 Pi-Calculus中的隐藏和新建 EPTCS表达/结构操作语义联合研讨会会议记录 2012 89 65 80 10.4204/EPTCS.89 1459.68029 谷歌学者 【Fug98】 了解代码移动性 IEEE Trans软件工程 1998 24 342 361 10.1109/32.685258 谷歌学者 数字图书馆 
[GroSto99] Grosu R，Stolen K（1999）基于流的移动系统规范。 在：计算的形式方面，第13卷。 施普林格，第1-31页。 内政部： https://doi.org/10.1007/PL00003937 谷歌学者 【Harw08】 UTP指针理论 计算理论方面国际学术讨论会 2008 5160 141 155 2544472 10.1007/978-3-540-85762-4_10 1161.68388 谷歌学者 数字图书馆 【呼啦85】 传达顺序流程 1985 Prentice-Hall公司 637.68007 谷歌学者 数字图书馆 [HoaHe98] Hoare T，何继峰，（1998）统一规划理论。 Prentice-Hall公司 谷歌学者 [HoaOh08] Hoare T，O’Hearn P（2008）通信过程的分离逻辑语义。 收录：第一届信息、计算机和软件基础国际会议论文集第212卷。 第3–25页，爱思唯尔。 内政部： https://doi.org/10.1016/j.entcs.2008.04.050 谷歌学者 [McEw10] McEwan A，Woodcock J（2010）《中断统一理论》。 摘自：UTP国际研讨会论文集，LNCS，第5713卷。 施普林格，第122–141页。 内政部： https://doi.org/10.1007/978-3-642-14521-6_8 谷歌学者 [百万99] 通信和移动系统：pi-calculus 1999 剑桥大学出版社 942.68002 谷歌学者 数字图书馆 [Ros98] 并发的理论与实践 1998 Prentice-Hall公司 谷歌学者 数字图书馆 [Ros10] Roscoe AW（2010）《理解并发系统》，第20章，§20.3。 第497–506页，普伦蒂斯大厅。 内政部： https://doi.org/10.1007/978-1-84882-258-0网址 谷歌学者 [Ros10a] Roscoe AW（2011）关于CSP的表现力，草案。 http://www.cs.ox.ac.uk/files/1383/expressive.pdf 谷歌学者 [Ros10b] Roscoe AW（2010）CSP对于Pi来说足够有表现力。 在：“对C.A.R.霍尔工作的反思”，2010年计算机史，第371–404页。 内政部： https://doi.org/10.1007/978-1-84882-912-1_16 谷歌学者 [桑96] Sangiorgi D（1996） -微积分、内部流动性和代理传递微积分。 收录于：《理论计算机科学》第167卷。 Elsevier，第235-274页。 内政部： https://doi.org/10.1016/0304-3975 (96)00075-8 谷歌学者 【SchTre07】 Schneider S、Treharne H、Vajar B（2007）将移动性引入CSP B.In：关键系统的自动验证（AVoCS）。 http://epubs.surrey.ac.uk/7216/2/avocs07.pdf epubs.surrey.ac.uk/avocs07.pdf 谷歌学者 [斯托99] Stölen K（1999）《输入/输出关系背景下的动态重构规范》。 摘自：FMOODS国际会议，IFIPAICT，第10卷。 施普林格，第259-272页。 内政部： https://doi.org/10.1007/978-0-387-35562-7_20 谷歌学者 [唐04b] Tang X，Woodcock J（2004）《UTP中的移动过程》。 摘自：SEFM第二届国际会议记录，第1卷。 IEEE，第44-53页。 内政部： https://doi.org/10.109/SEFM.2004.10045 谷歌学者 【金刚09】 Vajar B、Schneider S、Treharne H（2009）《移动CSP》 B.In:AVoCS，EASST的电子通信。 内政部： https://doi.org/10.14279/tuj.eceasst.23.338 谷歌学者 [欢迎04] Welch PH，Barnes FRM（2004）《通信移动进程-引入occam-pi》。 在：沟通顺序过程：第一个25年，在CSP 25年之际的研讨会。 第175–210页。 内政部： https://doi.org/10.1007/11423348_10 谷歌学者 【WelBa08】 Welch PH，Barnes FRM（2008）移动频道的CSP模型。 在：通信过程体系结构（CPA），第66卷。 IOS出版社，第17-33页。 内政部： https://doi.org/10.3233/978-1-58603-907-3-17 谷歌学者 [木材15] Woodcock J，Wellings AJ，Cavalcanti A（2015）Mobile CSP。 在：巴西正式方法研讨会，LNCS，第9526卷。 施普林格，第39–55页。 内政部： https://doi.org/10.1007/978-3-319-29473-5_3 谷歌学者
建议
并发系统的规范、精化和验证——Object-Z和CSP的集成 本文提出了一种使用面向对象的基于状态的规范语言object-Z和进程代数CSP对并发系统进行形式化描述、精炼和验证的方法。 Object-Z提供了一种方便的方法。。。 用共享变量通信进程的UTP语义及其在PVS中的形式编码 摘要 CSP#（通信顺序程序）是一种建模语言，旨在通过将类CSP组合运算符与更新共享变量的顺序程序集成来指定并发系统。 在这项工作中，我们定义了一个观察。。。
