彼得·劳尔
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
1990 – 1999
1993 [第16条] 彼得·劳尔 :
关于使用基于理论的系统来跨越计算机相关活动中的教育差距。 函数编程、并发、仿真和自动推理 1993 : 1-31 [电子2] 彼得·劳尔 :
函数编程、并发、模拟和自动推理:1991-1992年国际系列讲座,加拿大安大略省汉密尔顿麦克马斯特大学。 计算机科学课堂讲稿 693, 施普林格 1993 ,国际标准图书编号 3-540-56883-2 [目录] 1992 【b2】 里萨德·贾尼基 , 彼得·劳尔 :
并发系统的规范和分析——COSY方法。 EATCS理论计算机科学专著 , 施普林格 1992 ,国际标准图书编号 978-3-642-77339-6 第i-xii页,第1-482页 [电子1] Waldemar W.Koczkodaj公司 , 彼得·劳尔 , Anestis A.托普蒂斯 :
计算与信息——ICCI’92,第四届计算与信息国际会议,加拿大安大略省多伦多,1992年5月28日至30日,会议记录。 IEEE计算机学会 1992 ,国际标准图书编号 0-8186-2812-X号 [目录]
1980 – 1989
1988 [第15条] 里萨德·贾尼基 , 彼得·劳尔 :
论优先级系统的语义。 ICPP(2) 1988 : 150-156 1986 [公元9年] 里萨德·贾尼基 , 彼得·劳尔 , 库特尼 , 雷蒙德·R·德维尔斯 :
非序列系统的并发和最大并发演化。 西奥。 计算。 科学。 43 : 213-238 ( 1986 ) 1984 [第14条] 里萨德·贾尼基 , 彼得·劳尔 , 雷蒙德·R·德维尔斯 :
非连续系统的最大并发演化。 并行讨论会 1984 : 268-280 [第13条] 罗伊·H·坎贝尔 , 彼得·劳尔 :
配方:基于进化计算机的信息处理环境的要求。 ISPW公司 1984 : 67-74 1983 [第12条] 约翰·伊安尼斯·科托尼斯 , 彼得·劳尔 :
带断开连接的双向通道。 并发系统分析 1983 : 184-198 [第11条] 彼得·劳尔 :
简单的铁路系统。 并发系统分析 1983 : 271-292 1981 [j8] 彼得·劳尔 :
无全局性假设的并发进程同步。 ACM SIGPLAN通知 16 ( 9 ) : 66-80 ( 1981 ) [第10条] 彼得·劳尔 , M.W.护罩 :
解释COSY程序:编程和验证。 ICDCS系统 1981 : 137-147 【c9】 彼得·劳尔 , M.W.护罩 , 约翰·伊安尼斯·科托尼斯 :
没有全局性假设的并发系统的形式化行为规范。 国际消防委员会 1981 : 115-151 1980 [j7] 彼得·劳尔 :
走向价值理论的公理化。 圣母院J.正式日志。 21 ( 1 ) : 51-77 ( 1980 ) 【c8】 M.W.护罩 , 彼得·劳尔 :
COSY中并发系统规范的验证。 MFCS公司 1980 : 576-586 【c7】 彼得·劳尔 , 皮耶罗·R·托里贾尼 , 雷蒙德·R·德维尔斯 :
高度并行和分布式资源管理规范。 程序设计研讨会 1980 : 223-239
1970 – 1979
1979 [j6] 彼得·劳尔 , 皮耶罗·托里吉亚尼 , M.W.护罩 :
COSY-一种基于路径和过程的系统规范语言。 信息学报 12 : 109-158 ( 1979 ) 【c6】 彼得·劳尔 , M.W.护罩 , 艾克·贝斯特 :
高度并行和分布式系统的设计与分析。 抽象软件规范 1979 : 451-503 【c5】 M.W.护罩 , 彼得·劳尔 :
并发系统的形式语义。 ICALP公司 1979 : 571-584 1978 [j5] 雷蒙德·R·德维尔斯 , 彼得·劳尔 :
分布式控制避免饥饿的通用机制。 信息处理。 莱特。 7 ( 三 ) : 156-158 ( 1978 ) 【j4】 彼得·劳尔 , M.W.希尔兹 :
资源访问规程的抽象规范:充分性、饥饿、优先级和中断。 ACM SIGPLAN通知 13 ( 12 ) : 41-59 ( 1978 ) 【c4】 彼得·劳尔 , M.W.护罩 :
关于并发系统同步属性的抽象规范和形式化分析。 信息处理的数学研究 1978 : 1-32 1977 [j3] 彼得·劳尔 , 罗伊·H·坎贝尔 :
补遗和勘误:一类用于协调并发进程的高级原语的形式语义。 信息学报 7 : 325 ( 1977 ) 【c3】 约翰·伊安尼斯·科托尼斯 , 彼得·劳尔 :
并行过程系统的验证。 国际计算机研讨会 1977 : 197-207 [c2] 彼得·劳尔 , 艾克·贝斯特 , 迈克尔·希尔兹 :
关于实现并行程序的充分性问题。 编程概念的形式化描述 1977 : 301-336 1975 [注2] 彼得·劳尔 , 罗伊·H·坎贝尔 :
一类用于协调并发进程的高级原语的形式语义。 信息学报 5 : 297-332 ( 1975 ) 【c1】 彼得·劳尔 , 罗伊·H·坎贝尔 :
用Petri网描述路径表达式。 POPL公司 1975 : 95-105 1974 [j1] C.A.R.霍尔 , 彼得·劳尔 :
程序设计语言语义的一致性和互补性形式理论。 信息学报 三 : 135-153 ( 1974 ) 1971 【b1】 彼得·劳尔 :
编程语言语义的一致形式理论。 英国贝尔法斯特女王大学, 1971
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)