×

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

最新的 引文 关联
德克·法兰德

描述具有多对多交互的过程的行为。 （英语） Zbl 1532.68042号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 3-24 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Fahland}，莱克特。注释计算。科学。11522，3--24（2019；Zbl 1532.68042）
全文： 内政部
奥罗雷·阿尔科莱;Clairamault，皮埃尔;马丁·海兰德;格林·温斯克尔

赫伯兰德定理的真正并发性。 （英语） Zbl 1528.68247号

Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119，第5条，22页（2018年）。
MSC公司：68问题85 03财年03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Alcolei}等人，LIPIcs——莱布尼茨国际程序。通知。119，第5条，22 p.（2018；Zbl 1528.68247）
全文： 内政部
肯·萨卡约里;津田，武士

异步演算的真正并发游戏模型。 （英语） Zbl 1486.68116号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 389-406 (2017).
MSC公司：68问题85 68号30 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Sakayori}和\textit{T.Tsukada}，Lect。注释计算。科学。10203、389--406（2017；Zbl 1486.68116）
全文： 内政部
丹·特多休

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

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286307-321（2012）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Teodosiu}，电子。注释Theor。计算。科学。286307-321（2012；Zbl 1342.68245）
全文： 内政部
Dang，Han-Hing（韩红）;伯恩哈德·莫勒

并发和局部推理的反向交换。 （英语） Zbl 1358.68063号

Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学讲义7342177-197（2012）。
MSC公司：68甲19 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.-H.Dang}和\textit{B.Möller}，莱克特。注释计算。科学。7342，177--197（2012；Zbl 1358.68063）
全文： 内政部 链接
多雷尔·卢卡努

膜系统基于策略的重写语义保持了进化规则操作的最大并发性。 （英语） Zbl 1294.68081号

Middeldorp，Aart（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记237107-125（2009）。
MSC公司：2010年第68季度 03B45号 03B70号 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Lucanu}，电子。注释Theor。计算。科学。237107-125（2009年；Zbl 1294.68081）
全文： 内政部
OA许可证
萨米·阿贝斯;阿尔伯特·本文尼斯特

并发、（sigma）-代数和概率公平。 （英语） 兹比尔12346.8279

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学课堂讲稿5504380-394（2009）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Abbes}和\textit{A.Benveniste}，莱克特。注释计算。科学。5504380-394（2009年；Zbl 1234.68279）
全文： 内政部
克里斯蒂·马尔

捕获CSP中的冲突和困惑。 （英语） Zbl 1213.68408号

Davies，Jim（编辑）等，《综合形式方法》。2007年7月2日至5日，第六届国际会议，IFM 2007，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73209-9/pbk）。计算机科学课堂讲稿4591413-438（2007）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Marr}，莱克特。注释计算。科学。4591、413--438（2007年；Zbl 1213.68408）
全文： 内政部
克里斯蒂·博尔顿

给顾客服务提供商增加了冲突和困惑。 （英语） Zbl 1120.68410号

Fitzgerald，John（编辑）等人，FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿3582205-220（2005）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Bolton}，莱克特。注释计算。科学。3582205-220（2005年；Zbl 1120.68410）
全文： 内政部
保罗·加斯丁;Mislove，迈克尔

简单并行编程语言的真正并发语义。 （英语） Zbl 0944.68123号

Flum，Jörg（编辑）等人，《计算机科学逻辑》。第十三届国际研讨会，CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1683, 515-529 (1999).
MSC公司：68问题55 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{P.Gastin}和\textit{M.Mislove}，莱克特。注释计算。科学。1683、515--529（1999；Zbl 0944.68123）
何塞·梅塞盖尔;卡罗琳·塔尔科特

并发对象的部分顺序事件模型。 （英语） Zbl 0939.68084号

Baeten，Jos C.M.（编辑）等人，CONCUR’99。并发理论。第十届国际会议，荷兰埃因霍温，1999年8月24日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。166415-430（1999年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{C.Talcott}，莱克特。注释计算。科学。1664、415--430（1999年；Zbl 0939.68084）
乌戈·蒙塔纳里

真正的并发：理论与实践。 （英语） Zbl 0796.68092号

Bird，Richard S.（编辑）等人，《程序构造的数学》。第二届国际会议，英国牛津，1992年6月29日至7月3日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。669, 14-17 (1993).
审核人：U.Montanari（比萨）
MSC公司：2010年第68季度 68问题55 68甲15
PDF格式BibTeX公司 XML格式引用
\文本｛U.Montanari｝，Lect。注释计算。科学。669，14--17（1993；Zbl 0796.68092）
Jean-Pierre科蒂亚特;科埃霍·达科斯塔，罗斯维尔特·若昂

基于LOTOS的演算，具有真正的并发语义。 （英语） Zbl 0785.68057号

形式描述技术，IV，Proc。IFIP TC6/WG6第四届国际会议，悉尼/澳大利亚，1991，559-574（1992）。
MSC公司：68问题55 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.-P.Couriat｝和\textit｛R.J.Coelho da Costa｝，在：形式描述技术，IV.IFIP TC6/WG6.1第四届分布式系统和通信协议形式描述技术国际会议论文集，FORTE’91，澳大利亚悉尼，1991年11月19-22日。阿姆斯特丹等：Elsevier Science Publishers B.V.（北荷兰）。559-574（1992年；Zbl 0785.68057）
沃伊切赫·彭泽克

事件结构的时态逻辑。 （英语） Zbl 0789.03030号

数理逻辑，程序。夏季计划。Conf.Ded.公司。第90届安尼夫。阿伦德·海廷，Chaika/Bulg。1988, 327-338 (1990).
审核人：J.-J.Ch.Meyer（乌得勒支）
MSC公司：03B70号 03B45号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Penczek}，in：数理逻辑。1988年9月13日至23日在保加利亚柴卡举行的纪念阿伦德·海廷（Arend Heyting，1898-1980）诞辰90周年暑期学校和会议记录。纽约：Plenum出版社。327--338（1990年；Zbl 0789.03030）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件