×

找到29个文档(结果1-29)

通过抑制在运行时强制执行。 (英语) Zbl 1520.68069号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第34条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用

监视无声操作。 (英语) Zbl 1491.68104号

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第7条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

标称过程计算的规则格式。 (英语) Zbl 1442.68120号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第10条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于确定监控器的复杂性。 (英语) Zbl 1489.68149号

Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 1-13 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

BCCSP上弱完全模拟语义的等式理论。 (英语) Zbl 1298.68161号

Bieliková,Mária(编辑)等人,SOFSEM 2012:计算机科学的理论与实践。2012年1月21日至27日,第38届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27659-0/pbk)。计算机科学课堂讲稿7147141-152(2012)。
MSC公司:68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在BCCSP上公理化弱就绪模拟语义。 (英语) Zbl 1351.68177号

Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,7-24(2011)。
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

零元素和单位元素的规则格式。 (英语) Zbl 1342.68189号

Mislove,Michael(ed.)等人,第26届编程语义数学基础会议论文集(MFPS 2010),加拿大渥太华,2010年5月6日至10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记265145-160(2010)。
MSC公司:68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段