第条

免费访问

允许并发的表达式的复杂性

作者:

西海岸。奥格登,

西弗吉尼亚州。谜语,

西海岸。圆形作者信息和声明

POPL’78：第五届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

页185-194

https://doi.org/10.1145/512760.512780

出版:1978年1月1日出版历史

PDF格式电子阅读器

摘要

我们研究了在异步、并发子系统的情况下，用形式语言方法建模软件系统行为的一些结果。我们使用形式语言shuffle操作给出了简单（结构化）并发编程语言语义的“代数”定义，并证明了使用这种操作的必要性。在确定了这种必要性之后，我们研究了使用该操作的其他类型的行为表达式，并表明这些表达式的分析问题要么是无法确定的，要么是难以解决的。结果提供了一些局限性，例如，在系统行为分析的路径表达方法上。我们的下限证明涉及同步符号的使用，它似乎是信号量的形式语言模拟。

工具书类

[1]

Bancilhon，F.，“数据结构：规范与实现”，密歇根大学博士论文，1976年。

数字图书馆

[2]

Campbell，R.A和Habermann，N.，“通过路径表达式实现进程同步的规范”，《计算机科学》第16卷讲稿，Springer-Verlag，1974年。

数字图书馆

[3]

Codd，E.F.，“大型共享数据库的关系模型”，CACM 13，#6，第377-387页，1970年。

数字图书馆

[4]

Ginsburg，S.，《上下文无关语言的数学理论》，麦格劳希尔出版社，纽约，1966年。

数字图书馆

[5]

Ginsburg，S.和Spanier，E.H.，“两种磁带设备的语言映射”，JACM，第12页，423-434页，1965年。

数字图书馆

[6]

Greibach，S.，“最难的无上下文语言”，SIAM J.Compt。第2页，第304-310页，1973年。

[7]

Horning，J.J.和Randell，B.，“过程结构”，《计算调查》，5#1，第5-30页，1975年。

数字图书馆

[8]

Lipton，R.J.，“约简：证明并行程序性质的方法”，CACM，18，#12，第717-7211975页。

数字图书馆

[9]

Lipton，R.J.，“可达性问题需要指数空间”，《技术报告》，耶鲁大学计算机科学系，1975年，发表于《理论计算机科学》。

[10]

Owicki，S.“验证并行程序的一致完整演绎系统”，第八届ACM计算理论年度研讨会论文集，1976年5月），第73-86页。

数字图书馆

[11]

Peterson，J.，“Petri网”，《计算调查9》，第3期，第223-252页，1977年。

数字图书馆

[12]

Pratt，V.R.，“Floyd-Hoare逻辑的语义思考”，第17届计算机科学基础研讨会论文集，（1976年10月），第109-121页。

[13]

Riddle，W.E.，“监管系统的建模与分析”，斯坦福大学博士论文，1972年。

数字图书馆

[14]

Riddle，W.E.，“软件系统建模与分析”，RSSM/25，技术报告，密歇根大学计算机与通信科学系，1976年7月。

[15]

肖恩菲尔德，J.R.，《数理逻辑》，艾迪森·韦斯利，雷丁，马萨诸塞州，1967年。

引用人

纳吉B(2020)置换文法的隶属度问题——NP-完全性的直接证明国际计算机科学基础杂志10.1142/S012905412050022731:04(515-525)在线发布日期：2020年6月26日
https://doi.org/10.1142/S012905412050227
费尔瑙HParamasivan M公司施密德·MVorel V公司(2017)跳跃有限自动机的特征和复杂性结果理论计算机科学2016年10月10日/j.tcs.2016.07.006679：C(31-52)在线发布日期：2017年5月30日
https://dl.acm.org/doi/10.1016/j.tcs.2016.07.006
Mhaskar N公司解决方案M(2015)字符串洗牌离散算法杂志2016年10月10日/j.jda.2015.01.00331：C(120-128)在线发布日期：2015年3月1日
https://dl.acm.org/doi/10.1016/j.jda.2015.01.003
显示更多引用者

允许并发的表达式的复杂性
1. 计算理论
  1. 形式语言与自动机理论

建议

基于语义的并发控制：超越可交换性

通过使用关于在原子数据类型上定义的操作的语义信息，可以增强对这些类型执行的事务的并发性。迄今为止，操作的可交换性被用来提供增强的并发性。。。
基于全基因组共表达的差异表达预测

动机：微阵列已广泛用于医学研究，以检测新的疾病相关基因。它们使我们能够在基因组水平上研究不同的基因表达。它们还为我们提供了信息丰富的全基因组共表达。尽管。。。
通信复杂性类别的前景

我们证明了几个结果，这些结果与先前的工作一起，提供了$${mathsf{P}}$$P和$${mathsf{PSPACE}}$$PSPACE之间经典通信复杂性类之间关系的一个接近完整的图，但没有证明下限。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

POPL’78：第五届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

1978年1月

264页

国际标准图书编号：9781450373487

内政部：10.1145/512760

会议主席：
阿尔弗雷德·阿霍
新泽西州默里山贝尔实验室
,
斯蒂芬·N·齐尔斯
IBM，加利福尼亚州圣何塞
,
项目主席：
托马斯·希曼斯基
普林斯顿大学，新泽西州普林斯顿

版权所有©1978 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1978年1月1日

权限

请求对此文章的权限。

检查更新

限定符

第条

接受率

POPL’78论文接受率135份提交中的27份，20%；

4130份提交文件的总体接受率为824份，20%

即将召开的会议

流行乐'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

20
引文总数
查看引文
336
总下载次数

下载次数（过去12个月）35
下载次数（最近6周）9

反映截至2024年9月22日的下载量

其他指标

查看作者指标

引文

引用人

纳吉B(2020)置换文法的隶属度问题——NP-完全性的直接证明国际计算机科学基础杂志10.1142/S012905412050022731:04(515-525)在线发布日期：2020年6月26日
https://doi.org/10.1142/S012905412050227
费诺HParamasivan M公司施密德·MVorel V公司(2017)跳跃有限自动机的特征及其复杂性结果理论计算机科学2016年10月10日/j.tcs.2016.07.006679：C(31-52)在线发布日期：2017年5月30日
https://dl.acm.org/doi/10.1016/j.tcs.2016.07.006
Mhaskar N公司Soltys M公司(2015)字符串洗牌离散算法杂志2016年10月10日/j.jda.2015.01.00331：C(120-128)在线发布日期：2015年3月1日
https://dl.acm.org/doi/10.1016/j.jda.2015.01.003
埃雷蒙迪J伊巴拉O麦克奎兰一世(2015)关于洗牌若干问题的复杂性和可判定性形式系统的描述复杂性10.1007/978-3-319-19225-3_9(105-116)在线发布日期：2015年6月16日
https://doi.org/10.1007/978-3-319-19225-3_9
巴士SSoltys M公司(2014)解开方块是NP-hard计算机与系统科学杂志2016年10月10日/j.jcss.2013.11.00280:4(766-776)在线发布日期：2014年6月1日
https://dl.acm.org/doi/10.1016/j.jcss.2013.11.002
营养素L图马尼F(2013)Web服务业务协议综合的形式化方法Web服务和形式化方法10.1007/978-3-642-38230-7_1(1-15)在线发布日期：2013年
https://doi.org/10.1007/978-3-642-38230-7_1
霍夫兰D(2012)具有无序连接和数值约束的正则表达式的隶属度问题第六届语言与自动机理论与应用国际会议论文集10.1007/978-3-642-28332-1_27(313-324)在线发布日期：2012年3月5日
https://dl.acm.org/doi/10.1007/978-3-642-28332-1_27
ter Beek M公司克莱因·J(2009)无限同步洗牌与团队自动机的关联性计算机基础理论10.5555/2362688.236268991:3-4(437-461)在线发布日期：2009年8月1日
https://dl.acm.org/doi/10.5555/2362688.2362689
ter Beek M公司克莱因·J(2009)无限同步洗牌与团队自动机的关联性计算机基础理论10.5555/1551775.155177691:3-4(437-461)在线发布日期：2009年8月1日
https://dl.acm.org/doi/10.5555/1551775.1551776
海因莱因C(2003)Java中使用交互表达式的高级线程同步网络世界的对象、组件、体系结构、服务和应用程序10.1007/3-540-36557-5_25(345-365)在线发布日期：2003年2月28日
https://doi.org/10.1007/3-540-36557-5_25
显示更多引用者

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子