摘要
1 }3OCHMANN，G.带时序逻辑的硬件规范：示例。 IEEE传输。 计算。 C-31，3（1982），223-231。 谷歌学者 
2 坎贝尔，R.和哈伯曼，A.通过路径表达式实现进程同步的规范。 计算机科学讲义，第16卷。 施普林格·弗拉格，纽约，1974年。 谷歌学者 三 GORDOn，M.nMOS序列行为的一个非常简单的模型。 诉讼VLS！ 81（苏格兰爱丁堡，1981年）。 纽约学术出版社。 谷歌学者 4 HENNESSY，M.和MILNER，R.关于观察不确定性和并发性。 计算机科学讲义，第85卷。 Springer-Verlag，纽约，1980年。 谷歌学者 5 HOARE，C.A.R.通信顺序过程。 Commun公司。 ACM 21，8（1978），666-677。 谷歌学者 6 HOARE，C.A.g.，BROOKES，S.和ROSCOE，W.A.一种通信顺序过程的理论。 牛津大学项目技术代表PGR-16。 牛津研究小组，1981年。 谷歌学者 7 MANNA，Z.和PNUELI，A.程序的模态逻辑。 代表STAN-CS-79-751，计算机科学，斯坦福大学，加利福尼亚州斯坦福，1979年。 谷歌学者 8 MEAD，C.和CONWAY，L.超大规模集成电路系统简介。 艾迪森·韦斯利，雷丁，马萨诸塞州，1980年。 谷歌学者 9 MILNE，G.和MILNER，R.并发进程及其语法。 《美国临床医学杂志》26，2（1979），302-321。 谷歌学者 10 MILNE，G.并发计算的数学模型。 1978年，苏格兰爱丁堡爱丁堡大学博士论文。 谷歌学者 11 MILNE，G.通过同步过程对分布式数据库协议进行建模。 苏格兰爱丁堡爱丁堡大学计算机科学代表CSR-34-78，1978年。 谷歌学者 12 MILNE，G.通信和并发的表示。 代表4088，计算机科学，加利福尼亚理工学院，1980年。 谷歌学者 13 MILNE，G.CIRCAL：电路描述的微积分。 整合，VLSIJournal 1、2和3（1983），121-160。 谷歌学者 14 MILNE，G.简单硅编译器的正确性。 第六国际交响乐会议录。 计算机硬件描述语言及其应用（宾夕法尼亚州匹兹堡，1983年5月），Elsevier North-Holland，纽约。 谷歌学者 15 MILNE，G.并发系统中的抽象和不确定性。 在第三届国际会议论文集《分布式计算系统》中。 IEEE计算机学会出版社，纽约，1982年。 谷歌学者 16 MILNE，G.硬件描述和验证模型。 《第21届设计自动化会议论文集》（新墨西哥州阿尔伯克基，1984年6月）。 IEEE计算机学会出版社，纽约。 谷歌学者 17 MIL~ER，R.通信系统微积分。 LNCS 92，Springer-Verlag，纽约，1980年。 谷歌学者 18 MINNER，R.同步和异步计算。 西奥。 计算。 Sc~25，3，267-310。 谷歌学者 19 MOSZKOWSKI，B.关于硬件推理的时序逻辑。 《第六届国际会议论文集计算机硬件描述语言》（宾夕法尼亚州匹兹堡，1983年5月）。 纽约州北霍兰德。 谷歌学者 20 SCOTT，D.和STRACHEY，C.走向计算机语言的数学语义。 会议记录糖浆。 计算机与自动化（纽约布鲁克林理工学院微波研究所，1971年）。 谷歌学者 21 一个基于Lisp的CIRCAL环境。 众议员CSR-152-83，计算机科学，爱丁堡大学，苏格兰爱丁堡，1983年。 谷歌学者
索引术语
CIRCAL和通信、并发和时间的表示
建议
零碎的紧缩、并发和公平 ICFEM’00：第三届IEEE正式工程方法国际会议论文集 收缩是在一个简单的关系框架中提出的，它是一个比细化更灵活的开发概念，用于捕获开发的早期预正式阶段，并进行了简要说明。 分段缩减允许操作的粒度。。。
评论
