摘要
摘要
[Ace92] 计算的形式方面 1994 6 2 （简写为Rapport de Recherche 1483，INRIA，1991年7月。） 谷歌学者 
【AuB84】 Algébre de Processus et同步 理论计算机科学 1984 30 1 91 131 10.1016/0304-3975(84)90067-7 533.68026 748133 谷歌学者 交叉引用 
【BBK87】 带优先算子的具体过程代数的现成跟踪语义 计算机杂志 1987 30 6 498 506 10.1093/comjnl/30.6.498 627.68016 920065 谷歌学者 数字图书馆 
[BoB87] ISO规范语言LOTOS简介 计算机网络和ISDN系统 1987 14 25 59 10.1016/0169-7552(87)90085-7 谷歌学者 数字图书馆 【BeK85】 用抽象传递过程的代数 理论计算机科学 1985 37 77 121 10.1016/0304-3975（85）90088-X 579.68016 796314 谷歌学者 交叉引用 【BCH92】 具有局部性的过程理论 程序。 1992年CONCUR 1992 108 122 谷歌学者 【B0C88】 基于证明转换的CCS非互离性语义 计算机基础理论 1988 十一 4 433 452 982500 谷歌学者 [BRR89] REX学校/研讨会：逻辑和并发模型中的线性时间、分支时间和偏序 1989 2007年10月10日/BFb0013019 谷歌学者 【C1M92】 自动生成验证工具 程序。 ERCIM验证理论与实践研讨会 12月9日至11日，比萨 1992 谷歌学者 [CPS93] 并发工作台 ACM托普拉斯 1993 15 1 36 72 10.1145/151646.151648 谷歌学者 数字图书馆 [数据89] 因果树 程序。 ICALP’89年 1989 234 248 谷歌学者 [DDM87] 并发模型的观测同余 程序设计概念的形式化描述III 1987 105 132 谷歌学者 【DDM90】 分布式并发系统的操作语义 程序。 88年IFIP 1990 三 32 谷歌学者 【DDM93】 用于互模拟的通用公理 理论计算机科学 1993 114 63 91 10.1016/0304-3975（93）90153-K 782.68044 1224512 谷歌学者 数字图书馆 [DeM87] 并发历史记录： 观测分布式系统的基础 J·C·S·S。 1987 34 422 461 619.68017 895736 谷歌学者 数字图书馆 [第92页] 成熟树木 程序。 ICALP’92年 1992 629 640 谷歌学者 [第93页] 有限状态过程的紧表示 1993 谷歌学者 [铁M92] 通过历史检查TRIO规范验证实时系统 IEEE程序。 第十四届国际软件工程会议 1992 谷歌学者 【Fer89】 阿尔德巴兰： 通信过程验证工具 1989 谷歌学者 【FGM9】 Ferrari，G.L.，Gorrieri，R.和Montanari，U.：扩展扩展定理。 在 程序。 塔普索特'91 ，LNCS 494，Springer-Verlag，第29-48页。 谷歌学者 [FGM92] LOTOS程序验证工具箱 IEEE程序。 第十四届国际软件工程会议 1992 谷歌学者 [GlG89] 并发系统的等价概念和动作的精化 程序。 第14届MFCS LNCS 379 1989 237 248 谷歌学者 【GLZ89】 TAV用户手册 1989 谷歌学者 [GMM90] 实时系统可执行规范的逻辑语言TRIO 系统与软件杂志 1990 12 2 107 123 10.1016/0164-1212（90）90074-V 谷歌学者 数字图书馆 [戈尔83] Petri网的非序列行为 信息与计算 1983 57 125 147 551.68050 742704 谷歌学者 【呼啦85】 通信顺序过程 1985 637.68007 谷歌学者 数字图书馆 [第91页] 通信系统分析工具的评估 EATCS公告 1991 45 158 185 757.68054 谷歌学者 【IPY93】 参数互模拟的扩展过渡系统 程序。 ICALP’93的 1993 谷歌学者 [基辅91] 本地和全球原因 1991 谷歌学者 【Kor91】 互模拟工具的当前状态。 技术代表P9101，CWI 1991 谷歌学者 [Lar90] 模态规格 1990 谷歌学者 [林91] PAM：一种过程代数操纵器 1991 谷歌学者 【Mad92】 CONCUR项目的验证工具 EATCS公告 1992 47 110 120 谷歌学者 [Mil83] 同步和异步计算 理论计算机科学 1983 25 267 310 10.1016/0304-3975(83)90114-7 512.68026 716132 谷歌学者 交叉引用 [百万89] 沟通与并发 1989 683.68008 谷歌学者 数字图书馆 [锰85] CIRCAL与通信、并发和时间的表示 ACM托普拉斯 1985 7 2 270 298 10.1145/3318.3322 562.68017 谷歌学者 数字图书馆 [92年12月] 局部性的参数化方法 程序。 ICALP’92年 1992 617 628 谷歌学者 [NSY92] 将实时规范编译成扩展自动机 软件工程交易 1992 18 数字9 794 804 10.1109/32.159837 谷歌学者 数字图书馆 [第87页] SIAM J.计算。 1987 16 6 谷歌学者 【插图81】 操作语义的结构方法 1981 谷歌学者 【Pnu85】 逻辑和反应系统语义中的线性和分支结构 程序。 ICALP’85的 1985 15 32 谷歌学者 【Pra86】 部分订单并发建模 国际期刊并行程序。 1986 15 33 71 2007年10月10日/BF01379149 622.68034 867968 谷歌学者 数字图书馆 【PrY93】 多视图分布式调试环境的形式化范式 程序。 第一届自动和算法调试国际研讨会 1993 谷歌学者 [参考编号85] Petri网-简介。 EATCS理论计算机科学专著，第4卷 1985 谷歌学者 [RaT88] 进程网络 计算机基础理论 1988 十一 4 357 404 982498 谷歌学者 [模拟85] MEIJE-SCCS中的高级同步装置 理论计算机科学 1985 37 245 267 10.1016/0304-3975（85）90093-3 598.68027 824475 谷歌学者 交叉引用 [SiV89] 登上AUTO。 技术代表三、INRIA、Sophia-Antipolis 1989 谷歌学者 [塔尔81a] 路径问题的统一方法 美国临床医学杂志 1981 28 三 577 593 10.1145/322261.322272 462.68041 624734 谷歌学者 数字图书馆 [塔尔81b] 求解路径问题的快速算法 美国临床医学杂志 1981 28 三 594 614 10.1145/322261.322273 462.68042 624735 谷歌学者 数字图书馆 [Win87] Petri网、代数、形态和合成 信息与计算 1987 72 197 238 10.1016/0890-5401(87)90032-0 622.68052 878462 谷歌学者 数字图书馆 [延93] 过程描述语言的参数视图 博士论文 1993 谷歌学者
建议
产品线行为的形式语义、模块化规范和符号验证 正在积极研究用于指定和验证软件产品线（SPL）的形式化技术。 虽然该领域的基础最近随着特色过渡系统（FTS）和相关系统的引入而取得了重大进展。。。
