×

找到15个文档（结果1-15）

最新的 引文 关联
邓玉欣；罗布·范格拉贝克；马修·轩尼诗；卡罗尔·摩根

测试有限概率过程（扩展抽象）。 （英文） Zbl 1254.68166号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710274-288（2009）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，Lect。注释计算。科学。5710274-288（2009年；Zbl 1254.68166）
全文： 内政部
杰拉德·布多尔；伊利亚州卡斯特拉尼；马修·轩尼诗；尼尔森，莫根斯；格林·温斯克尔

二十年过去了：对CEDISYS项目的反思。将真正的并发性与进程代数相结合。 （英文） Zbl 1143.68475号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065757-777（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Boudol}等人，Lect。注释计算。科学。5065757--777（2008年；Zbl 1143.68475）
全文： 内政部
邓玉欣；罗布·范格拉贝克；马修·轩尼诗；卡罗尔·摩根；张晨毅

关于测试概率过程的备注。 （英文） Zbl 1277.68121号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，359-397（2007）。
MSC公司：68问题55 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，《电子》。注释Theor。计算。科学。172，359--397（2007；Zbl 1277.68121）
全文： 内政部
詹姆斯·里利；马修·轩尼诗

分布式进程和位置故障。 （英文） Zbl 1401.68233号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256471-481（1997）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.瑞利}和\textit{M.轩尼诗}，莱克特。注释计算。科学。1256471-481（1997年；Zbl 1401.68233）
全文： 内政部
阿伦·库马尔，S。；轩尼诗，M。

流程的效率预购。 （英文） Zbl 1493.68238号

Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。526, 152-175 (1991).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Arun-Kumar}和\textit{M.Hennessy}，莱克特。注释计算。科学。526152--175（1991年；Zbl 1493.68238）
全文： 内政部
丙酮，L。；轩尼诗，M。

终止、僵局和分歧。 （英文） Zbl 1509.68178号

Main，M.（ed.）等人，《编程语义的数学基础》。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag。勒克特。注释计算。科学。442, 301-318 (1990).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}和\textit{M.Hennessy}，莱克特。注释计算。科学。442301--318（1990年；Zbl 1509.68178）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件