停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

1984年并行研讨会：美国宾夕法尼亚州匹兹堡

>主页 >会议和研讨会 >并发

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/1984年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/1984
斯蒂芬·布鲁克斯,A.W.罗斯科,格林·温斯克:
1984年7月9日至11日，美国宾夕法尼亚州匹兹堡卡内基梅隆大学，并行研讨会。计算机科学课堂讲稿197,施普林格 1985，十亿3-540-15670-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Brookes84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/Brookes84
斯蒂芬·布鲁克斯:
论并发的公理化处理。 1-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/BarringerK84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BarringerK84
霍华德·巴林格,鲁德·科伊伯:
时序逻辑框架中并发系统的分层开发。 35-61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/Winskel84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Winskel84
格林·温斯克:
关于断言的合成和分解。 62-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BergstraKT84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BergstraKT84
简·A·伯格斯特拉,简·威廉·克洛普,约翰·V·塔克:
具有异步通信机制的进程代数。 76-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Misra84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Misra84网址
贾亚德夫·米斯拉:
异步硬件系统中的内存访问公理。 96-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Moszkowski84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Moszkowski84
本·C·莫斯科夫斯基:
执行时序逻辑程序。 111-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/LengauerH84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/LengauerH84
克里斯蒂安·伦高,蔡黄黄:
并发的静态派生及其机械化证明。 131-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Agha84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Agha84
古尔·阿加:
并发计算参与者范式中的语义考虑。 151-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Pratt84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Pratt84网址
沃恩·R·普拉特:
并行进程的Pomset模型：统一时间和空间。 180-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Milener84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Milener84
罗宾·米尔纳:
通信系统微积分讲座。 197-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Best84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Best84
艾克·贝斯特:
并发行为：序列、过程和公理。 221-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Winskel84a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Winskel84a
格林·温斯克:
并发模型的类别。 246-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/JanickiLD84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/JanickiLD84
里萨德·贾尼基,彼得·劳尔,雷蒙德·R·德维尔斯:
非连续系统的最大并发演化。 268-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/BrookesR84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BrookesR84
斯蒂芬·布鲁克斯,A.W.罗斯科:
一种改进的通信过程故障模型。 281-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Roscoe84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Roscoe84
A.W.罗斯科:
occam的表示语义。 306-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/HewittRAA84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/HewittRAA84
卡尔·休伊特,汤姆·莱因哈特,古尔·阿加,朱塞佩·阿塔迪:
接待员对共享资源的语言支持。 330-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/Rounds84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/圆形84
威廉·C·罗兹:
拓扑在通信过程语义中的应用。 360-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Golson84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Golson84
威廉·高尔森:
基于同步沟通过程的指称模型：拒绝、接受、安全。 373-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BerryC84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BerryC84
杰拉德·贝瑞,洛朗·科塞拉特:
ESTEREL同步编程语言及其数学语义。 389-448
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Cardelli公司84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Cardelli网址84
鲁卡·凯德利:
一种交会通信的实现模型。 449-457
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Darondeau84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Darondeau84网址
菲利普·达伦多:
公平异步的完全抽象模型。 458-466
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concr/熟料H84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ClingerH84
威廉·D·克林格,查尔斯·哈尔珀:
麦卡锡大使的另类语义。 467-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/KellerP84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KellerP84
罗伯特·凯勒,普拉卡什·帕南加登:
包含不确定算子的网络语义。 479-496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/Panangaden84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Panangaden84网址
普拉卡什·帕南加登:
抽象解释和不确定性。 497-511
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/StromY84型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/StromY84
罗伯特·斯特罗姆,沙乌拉·耶米尼:
NIL分布式系统编程语言：状态报告。 512-522

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。