程序设计语言与系统学报 简短标题： ACM事务处理。程序。语言系统。 出版商： 纽约州纽约市计算机协会（ACM） 国际标准编号： 2016年4月925日 在线： http://www.acm.org/pubs/contents/journals/toplas/ 评论： 期刊；不再索引 已编制索引的文档： 203出版物(1979–1989) 全部的 前5名最新问题 11，第1期（1989年） 101988年第4期 101988年第3期 10，第2期（1988年） 10，第1期（1988年） 9(1987) 8(1986) 7(1985) 6(1984) 5(1983) 4(1982) 三(1981) 2(1980) 1(1979) 全部的 前5名作者 5 莱斯利·兰波特 5 米查·谢里尔 4 Krzysztof Rafal公寓 4 尼西姆·弗朗西兹 4 贾亚德夫·米斯拉 4 弗雷德·施耐德。 4 雅各布·西奥多·施瓦茨 三 阿文德 三 曼弗雷德·布罗伊 三 罗伯特·李，警察 三 理查德·基伯茨。 三 加里·彼得森。 三 Keshav K.平加利。 三 亚伯拉罕·西尔伯沙茨 2 格雷戈里·安德鲁斯。 2 罗兰·贝克豪斯（Roland C.Backhouse）。 2 菲利普·伯恩斯坦。 2 卡尼安特拉·马尼·钱迪 2 克拉克（Edmund Melson jun Clarke）。 2 阿兰·德默斯。 2 罗伯特·B·K·杜瓦。 2 詹姆斯·多纳休（James E.Donahue）。 2 大卫·格里斯 2 拉尔夫·格里斯沃尔德（Ralph E.Griswold）。 2 轩尼诗，约翰·勒罗伊 2 理查德·霍尔特（Richard C.Holt）。 2 肯·肯尼迪 2 威尔夫·拉隆德。 2 加里·林德斯特罗姆 2 巴巴拉·利斯科夫 2 大卫·C·勒克姆。 2 佐哈尔·曼纳 2 彼得·佩珀 2 阿米尔·普努利 2 拉里·鲁道夫 2 埃德蒙德·朔恩伯格 2 Eljas Soisalon-Soininen公司 2 乔根·斯坦斯加德·马德森 2 大卫·B·沃特曼。 2 Shaula A.Yemini。 1 艾伦，兰迪 1 阿尔卑斯山，博文 1 S.O安德森。 1 埃德·安森 1 William F.Appelbe。 1 爱德华·阿什克罗夫特。 1 马尔科姆·P·阿特金森。 1 回来了，拉尔夫·约翰 1 西奥多·贝克。 1 Jean-Pierre，Banatre 1 德巴西什·班纳吉 1 伊兰·巴隆 1 约翰·A·巴登。 1 维克托·巴西利（Victor R.Basili）。 1 约瑟夫·贝茨。 1 莫德凯·本·阿里 1 Jean-François Bergeretti 1 贾尼克·贝杰隆 1 丹尼尔·贝里（Daniel M.Berry）。 1 埃里克·拜尔 1 卢博米尔·比克。 1 理查德·伯德（Richard S.Bird）。 1 丹尼尔·博布罗（Daniel G.Bobrow）。 1 汉斯·尤尔根·博姆 1 维姆·博姆 1 H.-J.动臂。 1 巴克利，盖尔·N。 1 蒂莫西·艾伦·巴德 1 彼得·布内曼 1 F.Warren伯顿 1 罗伯特·D·卡梅隆。 1 伯纳德·A·卡雷。 1 斯科特·卡森。 1 马可·安东尼奥·卡萨诺娃 1 Mani K.Chandy。 1 Chang、Chun-Hyon 1 张忠国 1 亚瑟·查尔斯沃思 1 Laurian M.Chirica。 1 Choe，Kwang-Moo先生 1 道格拉斯·克拉克。 1 基思·L·克拉克。 1 诺曼·H·科恩。 1 利维奥·科卢西 1 詹姆斯·科迪。 1 珍妮斯·库尼。 1 阿里·德布鲁因 1 埃利泽·德克尔 1 富兰克林·德雷默。 1 纳胡姆德肖维茨 1 Des Rivieres，吉姆 1 卡尔·海因茨·德雷克斯勒 1 A.F.杜布克。 1 道格拉斯·邓洛普。 1 埃默森，欧内斯特·艾伦 1 乔治·W·恩斯特。 1 马丁·费瑟（Martin S.Feather）。 1 珍妮·费兰特 1 查尔斯·菲舍尔（Charles N.Fischer）。 1 克林顿·R·福克。 …还有172位作者 领域 203 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 160出版物有被引用3171次2665文件 引用人▼ 年份▼ 使用时态逻辑规范对有限状态并发系统进行自动验证。 Zbl 0591.68027号 E.M.克拉克。;艾默生，E.A。;西斯特拉，A.P。 316 1986 拜占庭将军的问题。 Zbl 0483.68021号 莱斯利·兰波特;罗伯特·肖斯塔克;皮斯，马歇尔 270 1982 一种高效的统一算法。 兹伯利0478.68093 阿尔贝托·马泰利;乌戈·蒙塔纳里 172 1982 通过合作决策程序简化。 Zbl 0452.68013号 格雷格·纳尔逊;Derek C.奥本。 160 1979 一种用于最小权重生成树的分布式算法。 Zbl 0498.68040号 盖拉杰，R.G。;Humblet，P.A.（宾夕法尼亚州）。;斯皮拉，P.M。 103 1983 霍尔的逻辑十年：调查——第1部分。 Zbl 0471.68006号 阿普特，克日什托夫R。 96 1981 琳达的创作交流。 Zbl 0559.68030号 大卫·盖伦特 78 1985 证明并发程序的活性属性。 Zbl 0483.68013号 苏珊·奥维基;莱斯利·兰波特 75 1982 针对干扰程序的开发方法的初步步骤。 Zbl 0517.68032号 C.B.琼斯。 68 1983 通信顺序过程的证明系统。 Zbl 0468.68023号 阿普特，克日什托夫R。;尼西姆·弗朗西兹;Willem P.De Roever。 58 1980 程序综合的演绎方法。 Zbl 0468.68009号 佐哈尔·曼纳;理查德·沃尔丁格 48 1980 程序依赖图及其在优化中的应用。 Zbl 0623.68012号 珍妮·费兰特;卡尔·奥滕斯坦（Karl J.Ottenstein）。;乔·D·沃伦。 48 1987 关于循环极值问题的O（n-logn）单向算法。 Zbl 0489.68040号 加里·彼得森。 46 1982 从时序逻辑规范合成通信过程。 Zbl 0522.68030号 佐哈尔·曼纳;皮埃尔·沃尔珀 42 1984 规范声明。 Zbl 0825.68302号 卡罗尔·摩根 41 1988 PARLOG：逻辑并行编程。 Zbl 0592.68016号 基思·克拉克;史蒂夫·格雷戈里 41 1986 在流程图中查找支配者的快速算法。 Zbl 0449.68024号 托马斯·伦戈尔;罗伯特·恩德雷·塔尔扬 39 1979 超级计算机。 Zbl 0468.68027号 J.T.施瓦茨。 39 1980 超级编译器的概念。 兹比尔0598.68016 瓦伦汀·图尔钦。 39 1986 指定并发程序模块。 Zbl 0516.68010号 莱斯利·兰波特 39 1983 概率并发程序的终止。 兹比尔0511.68009 塞尔吉·哈特;米查·谢里尔;阿米尔·普努利 38 1983 数据类型规范：参数化和规范技术的威力。 Zbl 0495.68020号 J.W.撒切尔。;瓦格纳，E.G。;J.B.赖特。 37 1982 Multilisp：一种并发符号计算语言。 Zbl 0581.68037号 Robert H.jun，Halstead。 32 1985 与行动系统的分布式合作。 Zbl 0663.68028号 背面，R.J.R。;Kurki-Soonio，R。 24 1988 CIRCAL和通信、并发和时间的表示。 Zbl 0562.68017号 乔治·米尔恩。 21 1985 用方程式编程。 兹比尔048168008 克里斯托夫·霍夫曼。;迈克尔·奥唐纳。 21 1982 LALR（1）look-ahead集的高效计算。 Zbl 0489.68074号 弗兰克·德雷默;托马斯·彭内洛 20 1982 FORTRAN程序到向量形式的自动转换。 Zbl 0631.68019号 兰迪·艾伦;肯·肯尼迪 19 1987 分布式终端。 Zbl 0468.68025号 尼西姆·弗朗西兹 18 1980 计算树形式的最佳并行生成。 Zbl 0564.68037号 伊兰·巴隆;乌兹·维什金 18 1985 异步硬件系统中内存访问的公理。 Zbl 0593.68017号 J·米斯拉。 18 1986 参数化规范：关于可观测性的参数传递和实现。 Zbl 0511.68010号 哈拉尔德·甘辛格 18 1983 写作时同时阅读。 Zbl 0498.68010号 加里·彼得森。 17 1983 一种改进的上下文无关识别器。 Zbl 0461.68084号 苏珊·L·格雷厄姆。;迈克尔·哈里森（Michael A.Harrison）。;沃尔特·卢佐。 16 1980 CSP广义输入输出结构的有效实现。 Zbl 0516.68026号 G.N.巴克利。;A.Silberschatz。 16 1983 程序中信息流的公理方法。 Zbl 0468.68034号 格雷戈里·安德鲁斯。;理查德·雷特曼（Richard P.Reitman）。 15 1980 派生目标代码作为延续语义的表示。 Zbl 0483.68070号 米切尔·旺德 15 1982 可计算表达式的有限差分。 Zbl 0484.68009号 罗伯特·佩奇;沙伊·柯尼格 15 1982 用于在网络中查找中心和媒体的分布式算法。 Zbl 0543.68051号 科拉赫，E。;罗特姆，D。;新墨西哥州桑托罗。 15 1984 最终数据类型及其规范。 Zbl 0498.68008号 塞缪尔·卡明 14 1983 通信顺序过程的公理语义。 Zbl 0542.68013号 北卡罗来纳州Soundararajan。 14 1984 LALR形式的新分析。 Zbl 0549.68083号 约瑟夫·帕克（Joseph C.H.Park）。;Choe，K.M。;Chang，C.H。 13 1985 关于编程语言的代数定义。 Zbl 0627.68009号 曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 13 1987 作为程序的证据。 Zbl 0555.68003号 约瑟夫·贝茨。;罗伯特·康斯特布尔。 13 1985 CSP的“Hoare逻辑”，以及所有这些。 Zbl 0536.68017号 莱斯利·兰波特;弗雷德·施耐德。 12 1984 转型规划中的促进和积累策略。 Zbl 0542.68006号 R.S.伯德。 12 1984 在没有时态逻辑的情况下验证时态属性。 Zbl 0676.68003号 阿尔卑斯山，博文;弗雷德·施耐德。 12 1989 分配和过程调用证明规则。 Zbl 0468.68006号 大卫·格里斯;加里·莱文 11 1980 证明多进程程序正确性的新方法。 Zbl 0463.68022号 莱斯利·兰波特 10 1979 指代设置中的程序转换。 Zbl 0566.68013号 弗莱明·尼尔森 10 1985 关于子模块规范和通信协议的构建。 Zbl 0498.68009号 菲利普·梅林;格雷戈·波希曼。 10 1983 高效协调大量协同工作的顺序处理器的基本技术。 Zbl 0511.68012号 阿兰·戈特利布;卢巴切夫斯基，B.D。;拉里·鲁道夫 10 1983 在具有共享内存的多处理器上进行高效同步。 Zbl 0663.68011号 克莱德·克鲁斯卡尔（Clyde P.Kruskal）。;鲁道夫，拉里;马克·斯尼尔 10 1988 将字符串作为组合符。 Zbl 0669.68013号 理查德·肯纳韦;睡觉，罗南 10 1988 数据类型不确定性的数学方法。 Zbl 0825.68330号 维姆·赫瑟林克。 9 1988 编程语言中撤销操作的正式方法。 Zbl 0592.68015号 Leeman，George B.jun。 9 1986 分布式图算法：节点检测。 Zbl 0489.68061号 J·米斯拉。;K.M.Chandy。 9 1982 循环的先决条件较弱。 Zbl 0492.68014号 H.J.布姆。 9 1982 守护者和动作：对健壮的分布式程序的语言支持。 Zbl 0512.68027号 巴巴拉·利斯科夫;罗伯特·谢夫勒 9 1983 计算LALR（k）lookahead的方法。 Zbl 0454.68100号 克里斯滕森，本特·布鲁恩;奥勒·勒曼·马德森 8 1981 一种用于数组和向量处理器的语言。 Zbl 0449.68004号 佩罗特，R.H。 7 1979 验证Pascal中的数组、记录和指针操作。 Zbl 0452.68014号 大卫·C·勒克姆。;铃木、诺里希萨 7 1979 检测指称规范中的全局变量。 Zbl 0562.68008号 戴维·施密特（David A.Schmidt）。 7 1985 证明通信有限状态机网络的活性。 Zbl 0593.68016号 穆罕默德·古达。;张忠国 7 1986 用于协助程序转换的系统。 兹伯利0479.68014 马丁·费瑟（Martin S.Feather）。 7 1982 使用小共享变量解决Lamport并发编程问题的新方法。 Zbl 0498.68011号 加里·彼得森。 7 1983 PL/CV3的类型理论。 Zbl 0522.68020号 罗伯特·康斯特布尔。;丹尼尔·R·兹拉丁。 7 1984 现场垃圾收集算法。 Zbl 0536.68030号 莫德凯·本·阿里 7 1984 多向会合。 Zbl 0623.68024号 亚瑟·查尔斯沃思 7 1987 算法规范：抽象数据类型的构成规范方法。 Zbl 0631.68020号 雅克·勒克斯 7 1987 指定while程序的语义：Hoare和Lauer的一篇论文的教程和评论。 Zbl 0471.68007号 艾琳·格雷夫;阿尔伯特·R·迈耶。 6 1981 while-programs的信息流和数据流分析。 Zbl 0559.68014号 Jean-François Bergeretti;伯纳德·A·卡雷。 6 1985 分布式程序逐步细化的一个例子：静止检测。 Zbl 0598.68031号 曼尼·钱迪;贾亚德夫·米斯拉 6 1986 管道约束的传递后代码优化。 Zbl 0525.68020号 约翰·轩尼诗;托马斯·格罗斯 6 1983 消除冗余递归调用。 Zbl 0526.68004号 诺曼·H·科恩。 6 1983 编写Larch接口语言规范。 Zbl 0627.68014号 珍妮特·温格。 6 1987 信号量程序的几何结构。 Zbl 0627.68022号 斯科特·卡森。;雷诺兹（Paul F.jun Reynolds）。 6 1987 副作用和别名可以有简单的公理描述。 兹比尔0575.68011 汉斯·尤尔根·博姆 5 1985 证明收缩系统正确。 Zbl 0598.68030号 马修·轩尼诗 5 1986 分布式终止算法的正确证明。 Zbl 0599.68017号 阿普特，克日什托夫R。 5 1986 R表示语义。 Zbl 0478.68083号 阿什克罗夫特，E.A。;Wadge，西北。 5 1982 关于函数程序代数的发展。 Zbl 0492.68018号 约翰·威廉姆斯。 5 1982 控制语义定向编译的流方面。 Zbl 0517.68046号 拉维·塞提 5 1983 进程间通信的实时同步。 Zbl 0536.68021号 约翰·赖夫（John H.Reif）。;保罗·G·斯皮拉基斯。 5 1984 从递归函数中删除递归的一些技术。 Zbl 0547.68009号 J.阿萨克。;柯德拉托夫（Y.Kodratoff）。 5 1982 分析功能程序以检测运行时垃圾单元。 Zbl 0663.68021号 井上，Katsuro;弘久世奇（Hiroyuki Seki）;Hikaru八木 5 1988 在最大延迟为一个周期的流水线处理器上调度表达式。 Zbl 0666.68028号 大卫·伯恩斯坦;伊齐多·格特纳 5 1989 非规范SLR（1）文法。 Zbl 0449.68045号 Tai、Kuo-Chung 4 1979 增量解析。 Zbl 0449.68046号 卡洛·盖齐;迪诺·曼德里奥利 4 1979 在SETL程序中选择数据表示的一种自动技术。 Zbl 0452.68010号 爱德蒙·肖恩伯格;雅各布·T·施瓦茨。;米查·谢里尔 4 1981 通过精化编程，如SETL表示子语言所示。 Zbl 0463.68014号 罗伯特·B·K·杜瓦。;亚瑟，格兰德;刘素成;雅各布·T·施瓦茨。;爱德蒙·肖恩伯格 4 1979 并发程序资源不变量的合成。 Zbl 0468.68024号 克拉克（Edmund Melson jun Clarke）。 4 1980 面向编译器实现的正确性证明。 Zbl 0591.68014号 Laurian M.Chirica。;大卫·F·马丁。 4 1986 通信顺序过程中扩散计算的终止检测。 兹伯利0479.68025 贾亚德夫·米斯拉;K.M.Chandy。 4 1982 关于集合论表达式形式微分的一些观察。 Zbl 0481.68005号 米查·谢里尔 4 1982 通过程序推理评估测试数据的充分性。 Zbl 0517.68031号 伊莱恩·韦尤克。 4 1983 后缀和树形式的并行生成。 Zbl 0525.68017号 埃利泽·德克尔;萨赫尼，萨尔塔吉 4 1983 在函数程序的分布式计算中控制并行性和简化顺序的注释。 Zbl 0536.68022号 F.Warren伯顿 4 1984 使用消息传递进行分布式编程：证明规则和规程。 Zbl 0536.68023号 理查德·施利钦（Richard D.Schlichting）。;弗雷德·施耐德。 4 1984 将属性语法转换为过程。 Zbl 0554.68014号 Takuya Katayama 4 1984 在没有时态逻辑的情况下验证时态属性。 Zbl 0676.68003号 阿尔卑斯山，博文;弗雷德·施耐德。 12 1989 在流水线处理器上调度表达式，最大延迟为一个周期。 Zbl 0666.68028号 大卫·伯恩斯坦;伊齐多·格特纳 5 1989 通过函数对对象进行类型化表示。 Zbl 0669.68014号 Steensgaard-Madsen，J。 三 1989 规范声明。 Zbl 0825.68302号 卡罗尔·摩根 41 1988 与行动系统的分布式合作。 Zbl 0663.68028号 背面，R.J.R。;Kurki-Soonio，R。 24 1988 在具有共享内存的多处理器上进行高效同步。 兹比尔0663.68011 克莱德·克鲁斯卡尔（Clyde P.Kruskal）。;拉里·鲁道夫;马克·斯尼尔 10 1988 将字符串作为组合符。 兹伯利0669.68013 理查德·肯纳韦;睡觉，罗南 10 1988 数据类型不确定性的数学方法。 Zbl 0825.68330号 维姆·赫瑟林克。 9 1988 分析功能程序以检测运行时垃圾单元。 Zbl 0663.68021号 井上，Katsuro;弘久世奇（Hiroyuki Seki）;Hikaru八木 5 1988 Morel和Revoise的“通过抑制部分冗余进行全局优化”解决了一个问题。 Zbl 0663.68026号 卡尔·海因茨·德雷克斯勒;曼弗雷德·斯塔德尔。 2 1988 类型扩展。 Zbl 0664.68024号 北卡罗来纳州沃思。 2 1988 关于饮酒哲学家问题的注释。 Zbl 0652.68022号 桑德拉·墨菲。;A.Udaya Shankar 1 1988 程序依赖图及其在优化中的应用。 Zbl 0623.68012号 珍妮·费兰特;卡尔·奥滕斯坦（Karl J.Ottenstein）。;沃伦，乔·D。 48 1987 FORTRAN程序到向量形式的自动转换。 Zbl 0631.68019号 兰迪·艾伦;肯·肯尼迪 19 1987 关于编程语言的代数定义。 Zbl 0627.68009号 曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 13 1987 多向会合。 Zbl 0623.68024号 亚瑟·查尔斯沃思 7 1987 算法规范：抽象数据类型的构成规范方法。 Zbl 0631.68020号 雅克·勒克斯 7 1987 编写Larch接口语言规范。 Zbl 0627.68014号 珍妮特·温格。 6 1987 信号量程序的几何结构。 Zbl 0627.68022号 斯科特·卡森。;Reynolds，Paul F.jun，保罗·F·雷诺兹。 6 1987 在过程对象中嵌入延续。 Zbl 0631.68006号 克里斯托弗·海恩斯（Christopher T.Haynes）。;丹尼尔·弗里德曼。 三 1987 在面向表达式的语言中对异常处理的一种公理化处理。 Zbl 0623.68010号 沙乌拉·耶米尼;丹尼尔·贝里（Daniel M.Berry）。 1 1987 递归函数程序的语法分析方法。 Zbl 0623.68013号 德巴西什·班纳吉 1 1987 属性文法的子线性空间求值算法。 Zbl 0633.68005号 代表，托马斯;阿兰·德默斯 1 1987 使用时态逻辑规范对有限状态并发系统进行自动验证。 Zbl 0591.68027号 E.M.克拉克。;艾默生，E.A。;西斯特拉，A.P。 316 1986 PARLOG：逻辑并行编程。 Zbl 0592.68016号 基思·克拉克;史蒂夫·格雷戈里 41 1986 超级编译器的概念。 兹比尔0598.68016 瓦伦汀·图尔钦。 39 1986 异步硬件系统中内存访问的公理。 兹比尔0593.68017 J·米斯拉。 18 1986 编程语言中撤销操作的正式方法。 Zbl 0592.68015号 Leeman，George B.jun。 9 1986 证明通信有限状态机网络的活性。 Zbl 0593.68016号 穆罕默德·古达。;张忠国 7 1986 分布式程序的逐步优化示例：静态检测。 Zbl 0598.68031号 曼尼·钱迪;贾亚德夫·米斯拉 6 1986 证明收缩系统正确。 Zbl 0598.68030号 马修·轩尼诗 5 1986 更正了分布式终止算法的证明。 Zbl 0599.68017号 阿普特，克日什托夫R。 5 1986 编译器实现正确性证明。 Zbl 0591.68014号 Laurian M.Chirica。;大卫·F·马丁。 4 1986 高效的需求驱动评估。二、。 Zbl 0596.68024号 基沙夫·平加里;阿文德 2 1986 琳达的创作交流。 Zbl 0559.68030号 大卫·盖伦特 78 1985 Multilisp：一种并发符号计算语言。 Zbl 0581.68037号 Robert H.jun，Halstead。 32 1985 CIRCAL和通信、并发和时间的表示。 Zbl 0562.68017号 乔治·米尔恩。 21 1985 计算树形式的最佳并行生成。 Zbl 0564.68037号 伊兰·巴隆;乌兹·维什金 18 1985 LALR形式的新分析。 Zbl 0549.68083号 约瑟夫·帕克（Joseph C.H.Park）。;Choe，K.M。;Chang，C.H。 13 1985 作为程序的证据。 Zbl 0555.68003号 约瑟夫·贝茨。;罗伯特·康斯特布尔。 13 1985 指代设置中的程序转换。 兹伯利0566.68013 弗莱明·尼尔森 10 1985 检测指称规范中的全局变量。 Zbl 0562.68008号 戴维·施密特（David A.Schmidt）。 7 1985 while-programs的信息流和数据流分析。 Zbl 0559.68014号 Jean-François Bergeretti;伯纳德·A·卡雷。 6 1985 副作用和别名可以有简单的公理描述。 Zbl 0575.68011号 汉斯·尤尔根·博姆 5 1985 最佳的预处理和字体缓存。 Zbl 0559.68047号 大卫·R·富克斯。;唐纳德·科努特（Donald E.Knuth）。 三 1985 动态过程网络的指称语义。 Zbl 0577.68041号 阿里·德布鲁因;维姆·伯姆 三 1985 统一实现循环的通用规范。 Zbl 0559.68003号 道格拉斯·邓洛普。;维克托·巴西利（Victor R.Basili）。 2 1985 通过示例进行编辑。 Zbl 0578.68081号 罗伯特·P·尼克斯。 2 1985 非更正语法错误恢复。 兹伯利0604.68099 赫尔穆特·里希特 2 1985 高效的需求驱动评估。一、。 Zbl 0562.68006号 基沙夫·平加里;阿文德 1 1985 程序抽象和实例化。 Zbl 0566.68012号 纳胡姆德肖维茨 1 1985 数据类型是值。 Zbl 0566.68016号 詹姆斯·多纳休;阿兰·德默斯 1 1985 对称任务间通信。 Zbl 0575.68024号 尼西姆·弗朗西兹;Shaula A.Yemini。 1 1985 从时序逻辑规范合成通信过程。 Zbl 0522.68030号 佐哈尔·曼纳;皮埃尔·沃尔珀 42 1984 用于在网络中查找中心和媒体的分布式算法。 Zbl 0543.68051号 科拉赫，E。;D.罗特姆。;北桑托罗。 15 1984 通信顺序过程的公理语义。 Zbl 0542.68013号 北卡罗来纳州Soundararajan。 14 1984 CSP的“Hoare逻辑”，以及所有这些。 Zbl 0536.68017号 莱斯利·兰波特;弗雷德·施耐德。 12 1984 转型规划中的促进和积累策略。 Zbl 0542.68006号 R.S.伯德。 12 1984 PL/CV3的类型理论。 Zbl 0522.68020号 罗伯特·康斯特布尔。;丹尼尔·R·兹拉丁。 7 1984 现场垃圾收集算法。 Zbl 0536.68030号 莫德凯·本·阿里 7 1984 进程间通信的实时同步。 Zbl 0536.68021号 约翰·赖夫（John H.Reif）。;保罗·G·斯皮拉基斯。 5 1984 在函数程序的分布式计算中控制并行性和简化顺序的注释。 兹伯利0536.68022 F.Warren伯顿 4 1984 使用消息传递进行分布式编程：证明规则和规程。 Zbl 0536.68023号 理查德·施利钦。;弗雷德·施耐德。 4 1984 将属性语法转换为过程。 Zbl 0554.68014号 Takuya Katayama 4 1984 CSP分布式终端约定建模。 Zbl 0536.68018号 阿普特，克日什托夫R。;尼西姆·弗朗西兹 三 1984 递归是程序开发中的一个有效步骤。 Zbl 0522.68016号 科卢西，L。 1 1984 使用时序逻辑证明并发系统的无故障特性。 Zbl 0536.68015号 理查德·艾伦·卡普 1 1984 向量处理器的APL编译器。 Zbl 0536.68028号 蒂莫西·巴德（Timothy A.Budd）。 1 1984 选择性和本地控制的特权传输。 Zbl 0547.68033号 纳夫塔利·明斯基。 1 1984 类型化lambda表达式的转换和约简策略。 Zbl 0555.68007号 迈克尔·乔治夫 1 1984 最小权生成树的分布式算法。 Zbl 0498.68040号 盖拉杰，R.G。;Humblet，P.A.（宾夕法尼亚州）。;斯皮拉，P.M。 103 1983 针对干扰程序的开发方法的初步步骤。 Zbl 0517.68032号 C.B.琼斯。 68 1983 指定并发程序模块。 Zbl 0516.68010号 莱斯利·兰波特 39 1983 概率并发程序的终止。 Zbl 0511.68009号 塞尔吉·哈特;米查·谢里尔;阿米尔·普努利 38 1983 参数化规范：关于可观测性的参数传递和实现。 Zbl 0511.68010号 哈拉尔德·甘辛格 18 1983 写作时同时阅读。 Zbl 0498.68010号 加里·彼得森。 17 1983 CSP广义输入输出结构的有效实现。 兹伯利0516.68026 G.N.巴克利。;A.Silberschatz。 16 1983 最终数据类型及其规范。 Zbl 0498.68008号 塞缪尔·卡明 14 1983 关于子模块规范和通信协议的构建。 Zbl 0498.68009号 菲利普·梅林;格雷戈·波希曼。 10 1983 高效协调大量协同工作的顺序处理器的基本技术。 Zbl 0511.68012号 阿兰·戈特利布;卢巴切夫斯基，B.D。;拉里·鲁道夫 10 1983 守护者和动作：对健壮的分布式程序的语言支持。 Zbl 0512.68027号 巴巴拉·利斯科夫;罗伯特·谢夫勒 9 1983 使用小共享变量解决Lamport并发编程问题的新方法。 Zbl 0498.68011号 加里·彼得森。 7 1983 管道约束的传递后代码优化。 Zbl 0525.68020号 约翰·轩尼诗;托马斯·格罗斯 6 1983 消除冗余递归调用。 Zbl 0526.68004号 诺曼·H·科恩。 6 1983 控制语义定向编译的流方面。 Zbl 0517.68046号 拉维·塞提 5 1983 通过程序推理评估测试数据的充分性。 Zbl 0517.68031号 伊莱恩·韦尤克。 4 1983 后缀和树形式的并行生成。 Zbl 0525.68017号 Eliezer德克尔;萨赫尼，萨尔塔吉 4 1983 通信过程的正确性证明：文献中的三个示例。 Zbl 0517.68054号 马蒂·奥斯福特 三 1983 一种语法错误处理技术及其实验分析。 Zbl 0527.68058号 塞波·西普;Eljas Soisalon-Soininen公司 三 1983 具有SETL优化器的经验。 Zbl 0498.68007号 斯特凡·弗洛伊登伯格。;雅各布·T·施瓦茨。;米查·谢里尔 2 1983 从规范生成编译器符号处理机制。 Zbl 0516.68029号 史蒂文·赖斯（Steven P.Reiss）。 1 1983 用于派生特定于机器的优化器的正式框架。 Zbl 0526.68024号 罗伯特·吉格里奇 1 1983 拜占庭将军的问题。 Zbl 0483.68021号 莱斯利·兰波特;罗伯特·肖斯塔克;皮斯，马歇尔 270 1982 一种高效的统一算法。 兹伯利0478.68093 阿尔贝托·马泰利;乌戈·蒙塔纳里 172 1982 证明并发程序的活跃性属性。 Zbl 0483.68013号 苏珊·奥维基;莱斯利·兰波特 75 1982 圆形极值问题的O（n log n）单向算法。 Zbl 0489.68040号 加里·彼得森。 46 1982 数据类型规范：参数化和规范技术的威力。 Zbl 0495.68020号 J.W.撒切尔。;瓦格纳，E.G。;J.B.赖特。 37 1982 用方程式编程。 Zbl 0481.68008号 克里斯托夫·霍夫曼。;O＆rsquo的；迈克尔·唐奈尔（Michael J.Donnell）。 21 1982 LALR（1）look-ahead集的高效计算。 Zbl 0489.68074号 弗兰克·德雷默;托马斯·佩内洛 20 1982 将目标代码派生为延续语义的表示。 Zbl 0483.68070号 米切尔·旺德 15 1982 …还有60多个文档 所有引用出版物 前5名被引用出版物 全部的 前5名3903位作者引用 22 莫西·亚亚科夫·瓦尔迪 20 米歇尔·雷纳尔 19 何塞·梅塞盖尔·瓜伊塔 15 奥尔纳库普弗曼 15 塞萨尔·蒂内利 14 Owe、Olaf 13 克里斯特尔·拜尔 13 克拉克·W·巴雷特。 13 西尔维奥·吉拉尔迪 13 克里斯托夫·林盖森 12 Jan A.Bergstra。 12 科恩，兰 11 德波尔（Frank S。 10 洛科·德尼古拉 10 帕斯卡·方丹 10 罗伯特·格莱克 10 拉希德·格拉乌伊 10 伊恩·海斯。 10 维姆·赫瑟林克。 10 埃纳尔·布罗赫·约翰森 10 安德烈·佩尔克 10 大卫·佩勒 10 阿米尔·普努利 10 西尔维奥·兰伊斯 10 吉安路易吉·扎瓦塔罗 9 玛丽亚·保拉（Maria Paola Bonacina） 9 Choe，Kwang Moo先生 9 克拉克（Edmund Melson jun Clarke）。 9 丹尼·德·施雷耶 9 段振华 9 尼西姆·弗朗西兹 9 胡安·加雷（Juan A.Garay）。 9 奥尔纳·格伦伯格 9 Joseph Yehuda Halpern 9 谢·库滕 9 阿尔贝托·佩特罗西 9 罗萨里奥Pugliese 9 唐纳德·桑内拉。 9 尼古拉·桑托罗 9 曼弗雷德·施密特·沙乌 9 乔塞普·席尔瓦 9 安杰伊·塔莱基 9 德国维达尔 8 亚历山德罗·西马蒂 8 曼努埃尔五世（Manuel V.Hermenegildo）。 8 Marta Z.Kwiatkowska。 8 南希·安·林奇 8 丰田正泽 8 Doron A.Peled。 8 安德鲁·雷诺兹 8 田聪 8 张楠 7 帕罗什·阿齐兹·阿卜杜拉 7 Krzysztof Rafal公寓 7 罗伯特·布鲁托梅索 7 纳迪亚·布西 7 罗伯特·J·科尔文。 7 约翰·多夫兰 7 Hugues的Fauconnier 7 皮埃尔·弗拉吉奥德 7 卢卡斯·乔治亚迪斯 7 格内西、斯特凡尼亚 7 丹尼尔·戈拉 7 托马斯·亨辛格（Thomas A.Henzinger）。 7 莫里斯·赫利希。 7 C.A.R.Tony Hoare 7 卡罗尔·C·摩根。 7 弗莱明·尼尔森 7 戈帕尔·潘杜拉根 7 毛里齐奥·普罗埃蒂 7 格里高·罗什乌 7 卡罗琳·塔尔科特。 6 詹姆斯·安德森。 6 Franz巴德 6 回来了，拉尔夫·约翰 6 费卢西奥·达米亚尼 6 卡罗尔·德尔波特 6 什洛米·多列夫 6 亚历山德罗·吉亚诺拉 6 阿里·古芬克尔 6 马克，哈曼 6 罗尔夫·亨尼克 6 帕斯卡尔·朱利安·伊兰佐 6 苏雷什·贾甘纳森 6 沃伊切赫·贾姆罗加 6 本特·琼森 6 迪帕克·卡普尔 6 Shmuel Katz 6 阿莫斯·科尔曼 6 埃文格洛斯·康斯坦蒂努·克拉纳基斯 6 塞里·莱·克里维（SerhiĭL.Kryvyi）。 6 莱斯利·兰波特 6 Michael Leuschel先生 6 乔治·列维 6 伯恩哈德·莫勒 6 吉尔·奈格尔 6 奥尔德罗格（Ernst-Rüdiger Olderog） 6 沃伊切赫·彭泽克 6 大卫·皮哈迪 6 沃伊切赫·莱特 …还有3803名作者 全部的 前5名194种期刊引用 387 理论计算机科学 120 计算的形式方面 119 信息处理信件 115 分布式计算 107 信息与计算 84 信息学报 58 自动推理杂志 58 系统设计中的形式化方法 56 计算机与系统科学杂志 49 函数编程杂志 43 符号计算杂志 38 逻辑程序设计理论与实践 36 MSCS公司。计算机科学中的数学结构 33 国际并行程序设计杂志 32 计算机程序设计科学 30 信息科学 29 逻辑与代数程序设计杂志 27 人工智能 27 国际计算机科学基础杂志 27 程序设计中的逻辑和代数方法杂志 26 高阶和符号计算 24 算法学 22 新一代计算 18 数学与人工智能年鉴 16 计算机科学与技术杂志 16 国际计算机数学杂志 14 比特币 13 ACM计算逻辑事务 12 密码学杂志 12 控制论与系统分析 12 计算机科学中的逻辑方法 11 RAIRO公司。Informatique Théorique et Applications公司 10 Automatica公司 10 编程和计算机软件 10 纯逻辑与应用逻辑年鉴 10 并行与分布式计算杂志 10 计算机语言、系统和结构 8 离散应用数学 8 数学系统理论 8 计算系统理论 7 应用非经典逻辑杂志 7 约束条件 7 计算机科学评论 6 计算 6 模糊集与系统 6 符号逻辑杂志 6 软件。实践与经验 6 国际近似推理杂志 6 萨达纳 5 SIAM计算机杂志 5 Studia Logica公司 5 实时系统 5 离散事件动态系统 5 工程、通信和计算中的应用代数 5 图表 5 并行算法与应用 5 并行处理信件 4 计算机与数学及其应用 4 国际理论物理杂志 4 应用数学与计算 4 计算机与运筹学 4 符号逻辑公报 4 欧洲控制杂志 4 组合优化期刊 4 并行与计算：实践与经验 4 应用逻辑杂志 三 国际控制杂志 三 国际计算机与信息科学杂志 三 网络 三 机器学习 三 并行：实践与经验 三 自动化和远程控制 三 欧洲运筹学杂志 三 计算机基础理论 三 离散算法杂志 三 科学中国。信息科学 三 计算机科学前沿 2 计算机物理通信 2 ACM数学软件汇刊 2 哲学逻辑杂志 2 凯伯内特斯 2 凯贝内提卡 2 语言学与哲学 2 圣母院形式逻辑杂志 2 SIAM控制与优化期刊 2 西伯利亚数学杂志 2 合成 2 控制论 2 系统和控制信件 2 吉泰。实验与理论人工智能杂志 2 国际计算几何与应用杂志 2 超级计算杂志 2 数学科学杂志（纽约） 2 调度日志 2 美国医学会杂志 2 武汉大学自然科学学报 2 新物理学杂志 2 国际应用数学与计算机科学杂志 2 国际不确定性、模糊性和基于知识的系统杂志 2 量子信息处理 …还有94种期刊 全部的 前5名33个领域引用 2,473 计算机科学（68至XX） 521 数学逻辑和基础（03-XX） 93 信息与通信理论、电路（94-XX） 69 组合数学（05-XX） 65 运筹学、数学规划（90-XX） 43 博弈论、经济学、金融和其他社会和行为科学（91-XX） 37 系统论；控制（93至XX） 32 数值分析（65-XX） 27 范畴理论；同调代数（18-XX） 17 生物学和其他自然科学（92-XX） 16 量子理论（81-XX） 15 一般代数系统（08-XX） 13 有序，格，有序代数结构（06-XX） 12 数论（11-XX） 11 历史和传记（01-XX） 9 概率论与随机过程（60-XX） 6 统计学（62-XX） 5 群论与推广（20-XX） 三 总体主题；集合（00-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 三 动力系统和遍历理论（37至XX） 三 代数拓扑（55-XX） 三 数学教育（97-XX） 2 场论和多项式（12-XX） 2 常微分方程（34-XX） 2 偏微分方程（35-XX） 2 一般拓扑结构（54至XX） 1 代数几何（14-XX） 1 实际功能（26年X月X日） 1 凸和离散几何（52-XX） 1 微分几何（53至XX） 1 粒子和系统力学（70-XX） 1 流体力学（76-XX） 按年份列出的引文