×

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

多组可消费资源上的真正并发进程语义。 (英语) Zbl 1342.68245号

Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》286、307-321(2012)。
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于并发、因果和冲突的逻辑和互模拟游戏。 (英语) Zbl 1234.68300号

de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记550448-62(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于通信进程的分离逻辑语义。 (英语) Zbl 1286.68352号

Chen,Yixiang(编辑)等,《第一届信息学、计算与软件基础国际会议论文集》(FICS 2008),华东师范大学,中国上海,2008年6月3-6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记212,3-25(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

应用(pi)演算的空间方程逻辑。 (英语) Zbl 1160.03313号

van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,387-401(2008)。
MSC公司:03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过资源和过程进行系统建模:哲学、微积分、语义和逻辑。 (英语) Zbl 1277.68202号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,545-587(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在资源敏感的定时组件连接器上。 (英语) Zbl 1202.68070号

Bonsange,Marcello M.(编辑)等人,开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72919-8/pbk)。计算机科学课堂讲稿4468301-316(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段