×

找到640个文档（结果1-100）

最新的 引文 关联
Leo洛布斯基;法比奥·扎纳西

用于分层解释的字符串图。 （英语） Zbl 07813639号

杰德（Jade）等硕士，第五届应用范畴理论国际会议论文集，ACT 2022，英国格拉斯哥，2022年7月18日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）380、362-382（2023）。
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{L.Lobski}和\textit{F.Zanasi}，电子。程序。西奥。计算。科学。（EPTCS）380362--382（2023；Zbl 07813639）
全文： 内政部 arXiv公司
洛科·德尼古拉;卢卡·迪·斯特法诺;奥马尔·因弗索;塞雷内拉·瓦利亚尼

觅食蚂蚁集体行为的直观建模和形式分析。 （英语） Zbl 07810883号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 44-61 (2023).
MSC公司：92D50型 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。14137，44-61（2023；Zbl 07810883）
全文： 内政部
乔纳森·鲍文（Jonathan P.Bowen）。;朱慧彪

何继峰（Jifeng He）在牛津大学及以后：一种欣赏。 （英语） Zbl 07810649号

Bowen，Jonathan P.（编辑）等人，《编程理论与形式化方法》。纪念贺继峰80岁生日的散文。查姆：斯普林格。莱克特。注释计算。科学。14080, 3-18 (2023).
MSC公司：68-03 01A70号 68号01
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Bowen}和\textit{H.Zhu}，Lect。注释计算。科学。14080，3-18（2023；Zbl 07810649）
全文： 内政部
罗布·范·格拉贝克

只是测试。 （英语） Zbl 07770352号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 498-519 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，莱克特。注释计算。科学。13992、498--519（2023；Zbl 07770352）
全文： 内政部 arXiv公司
阿姆加德·拉迪;弗兰克·范·布鲁格尔

标记马尔可夫链概率双相似距离的解释。 （英语） Zbl 07770342号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 285-307 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Rady}和\textit{F.van Breugel}，莱克特。注释计算。科学。13992、285--307（2023；Zbl 07770342）
全文： 内政部
佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托

关于组成通信系统。 （英语） Zbl 07811913号

Aubert，Clément（ed.）等人，《第十五届交互和并发体验研讨会论文集》，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365、53-68（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}等人，《电子》。程序。西奥。计算。科学。（EPTCS）365、53--68（2022；Zbl 07811913）
全文： 内政部 arXiv公司
休伯特·加拉维;弗雷德里克·朗

40年后的等价性检查：对双模拟工具的回顾。 （英语） Zbl 1524.68189号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： 内政部 哈尔
兰斯·克莱维兰

通过进程代数实现更好的自动化。 （英语） Zbl 1524.68168号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 116-136 (2022).
MSC公司：65年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.克利夫兰}，莱克特。注释计算。科学。13560、116--136（2022年；Zbl 1524.68168）
全文： 内政部 arXiv公司
马库斯·西格尔;阿明·索塔尼耶

随机过程代数的速率提升——利用结构特性。 （英语） Zbl 1522.68371号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 67-84 (2022).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Siegle}和\textit{A.Soltanieh}，莱克特。注释计算。科学。13479，67-84（2022；Zbl 1522.68371）
全文： 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克

获得并行组合的有限公理化是否需要两个二进制运算符？ （英语） Zbl 1508.68239号

ACM变速器。计算。日志。 23，第4条，第22条，第56页（2022年）.
MSC公司：68问题85 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，ACM Trans。计算。日志。23，第4号，第22条，56页（2022年；Zbl 1508.68239）
全文： 内政部 arXiv公司 链接
克莱门·奥伯特

可逆并发计算中的并发性。 （英语） Zbl 07615947号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 146-163 (2022).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，莱克特。注释计算。科学。13354，146-163（2022；Zbl 07615947）
全文： 内政部 哈尔
埃尔维奥·安帕罗雷。;苏珊娜·多纳泰利

Petri网组成的来龙去脉。 （英语） Zbl 1499.68216号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 278-299 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.G.Amparore}和\textit{S.Donatelli}，莱克特。注释计算。科学。13288，278--299（2022；Zbl 1499.68216）
全文： 内政部
罗伯特·J·科尔文。

并行顺序组合和硬件弱内存模型。 （英语） Zbl 1522.68147号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 201-221 (2021).
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。注释计算。科学。13085，201-221（2021；Zbl 1522.68147）
全文： 内政部
琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基;罗伯塔·戈里;弗朗西丝卡·列维;保罗·米拉佐

利用SOS语义的模块性定义反应系统的定量扩展。 （英语） Zbl 1521.68055号

Aranha，Claus（编辑）等人，《自然计算的理论与实践》。第十届国际会议，TPNC 2021，日本筑波，2021年12月7日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13082, 15-32 (2021).
MSC公司：2007年第68季度 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Brodo}等人，Lect。注释计算。科学。13082，15--32（2021；Zbl 1521.68055）
全文： 内政部
佐尔坦·埃西克

自动机的等式理论。 （英语） Zbl 1518.68216号

Pin，Jean-Éric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。729-764 (2021).
审核人：吉列尔莫·莫拉莱斯·卢纳（墨西哥城）
MSC公司：70年第68季度 2016年60月
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Ésik｝，《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。729--764（2021年；Zbl 1518.68216）
全文： 内政部
马丁·瓦索尔

可逆性和预测。 （英语） Zbl 07419489号

Yamashita，Shigeru（编辑）等人，可逆计算。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 163-181 (2021).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Vassor}，莱克特。注释计算。科学。12805、163--181（2021；Zbl 07419489）
全文： 内政部
克莱门·奥伯特;多里亚娜·梅迪奇

可逆并发演算中的显式标识符和上下文。 （英语） Zbl 1476.68093号

Yamashita，Shigeru（编辑）等人，可逆计算。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 144-162 (2021).
MSC公司：2009年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{D.Medić}，莱克特。注释计算。科学。12805、144--162（2021；Zbl 1476.68093）
全文： 内政部 arXiv公司 链接
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna

实现可逆CCS的真正并发语义。 （英语） Zbl 07419486号

Yamashita，Shigeru（编辑）等人，可逆计算。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 109-125 (2021).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，Lect。注释计算。科学。12805、109-125（2021；Zbl 07419486）
全文： 内政部 哈尔
梅托斯，V.Yu。

构建智能系统的问题。智能建模。 （英语。俄文原件） Zbl 1491.68149号

赛博。系统。分析。 57，第4号，509-520（2021）; 翻译自Kibern。修女。分析。57，第4号，3-19（2021）。
MSC公司：68T01型 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{V.Yu.Meytus}，Cybern（网络）。系统。分析。57，No.4，509--520（2021；Zbl 1491.68149）；翻译自Kibern。修女。分析。57，第4号，第3-19号（2021年）
全文： 内政部
Vasco T.瓦康塞洛斯。;菲利佩·卡萨尔;贝尔纳多·阿尔梅达;安德烈亚·莫迪多

混合会话。 （英语） Zbl 1508.68255号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 715-742 (2020).
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{V.T.Vasconcelos}等人，Lect。注释计算。科学。12075、715--742（2020年；Zbl 1508.68255）
全文： 内政部
大卫·詹森（David N.Jansen）。;Jan Friso，格鲁特;Timmers，渡轮;杨鹏飞

马尔可夫链弱双相似性的近线性时间算法。 （英语） Zbl 07559464号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第8条，第20页（2020）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.N.Jansen}等人，LIPIcs——莱布尼茨国际程序。通知。171，第8条，20 p.（2020；Zbl 07559464）
全文： 内政部
陈丽安;佛罗伦萨克莱尔克;帕南加登，普拉卡什

对连续时间马尔可夫过程中的行为等效性进行分类。 （英语） Zbl 07516371号

Patricia Johann（编辑），《第36届编程语义数学基础会议论文集》，MFPS XXXVI，虚拟会议，2020年6月2-6日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。352, 53-77 (2020).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Chen}等人，《电子》。注释Theor。计算。科学。352、53--77（2020；Zbl 07516371）
全文： 内政部
瑞安·卡瓦纳

子结构观察到的通信语义。 （英语） Zbl 07453964号

Dardha，Ornela（ed.）等人，第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录，EXPRESS/SOS 2020，在线，2020年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32269-87（2020年）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Kavanagh}，电子。程序。西奥。计算。科学。（EPTCS）32269--87（2020；Zbl 07453964）
全文： arXiv公司 链接
罗布·范·格拉贝克

反应时间逻辑。 （英语） Zbl 07453963号

Dardha，Ornela（ed.）等人，第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录，EXPRESS/SOS 2020，在线，2020年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32251-68（2020年）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，电子。程序。西奥。计算。科学。（EPTCS）322，51-68（2020；兹bl 07453963）
全文： arXiv公司 链接
巴斯·卢提克

发散-保分支双相似性。 （英语） 兹布尔07453959

Dardha，Ornela（ed.）等人，第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录，EXPRESS/SOS 2020，在线，2020年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3223-11（2020年）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Luttik}，电子。程序。西奥。计算。科学。（EPTCS）322，3--11（2020；Zbl 07453959）
全文： arXiv公司 链接
托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克

奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用。 （英语） Zbl 1483.68201号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 307-324 (2020).
MSC公司：60年第68季度 03B70号 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Neele}等人，Lect。注释计算。科学。12079、307--324（2020；Zbl 1483.68201）
全文： 内政部
大卫·詹森（David N.Jansen）。;Jan Friso，格鲁特;Jeroen J.A.Keiren。;安东·威伊斯

标记转移系统上分支双相似性的（O（m\log n）算法。 （英语） Zbl 1483.68232号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 3-20 (2020).
MSC公司：68问题85 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{D.N.Jansen}等人，Lect。注释计算。科学。12079，3--20（2020；Zbl 1483.68232）
全文： 内政部
莱安德罗·戈麦斯;亚历山大·马德拉;路易斯·索亚雷斯（Luis Soares Barbosa）

在模糊自动机中引入同步性。 （英语） Zbl 1452.68106号

Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348，43-60（2020）中所述。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Gomes}等人，《电子》。注释Theor。计算。科学。348、43-60（2020年；Zbl 1452.68106）
全文： 内政部
大卫·M·卡恩。;霍夫曼，简

指数自动摊销资源分析。 （英语） Zbl 07250947号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077359至380（2020）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Kahn}和\textit{J.Hoffmann}，莱克特。注释计算。科学。12077、359--380（2020；Zbl 07250947）
全文： 内政部 arXiv公司
菲律宾邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西

信号流图的上下文等效。 （英语） Zbl 07250933号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 77-96 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛F.Bonchi｝等人，Lect。注释计算。科学。12077、77--96（2020；Zbl 07250933）
全文： 内政部 arXiv公司
托尔斯滕·维曼;乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德

高效且模块化的余代数划分细化。 （英语） Zbl 1442.68113号

日志。方法计算。科学。 16，第1号，第8号论文，63页（2020年）.
MSC公司：68问题65 60J22型 65年第68季度 68问题85 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Wißmann}等人，《日志》。方法计算。科学。16，第1号，第8号论文，63页（2020年；Zbl 1442.68113）
全文： arXiv公司
菲律宾邦奇;罗宾·皮埃德鲁;巴韦尔·索博辛斯基;法比奥·扎纳西

字符串图的双代数语义。 （英语） Zbl 07649945号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第37条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。140，第37条，第17页（2019年；Zbl 07649945）
全文： 内政部 arXiv公司
陈丽安;佛罗伦萨克莱尔克;帕南加登，普拉卡什

Feller-Dynkin过程的相互模拟。 （英语） Zbl 07515954号

König，Barbara（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4日至7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。347, 45-63 (2019).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Chen}等人，《电子》。注释Theor。计算。科学。347，45-63（2019年；兹bl 07515954）
全文： 内政部 arXiv公司
Krzysztof R.阿普特。;多米尼克·沃伊特扎克

流言蜚语逻辑中的公开问题。 （英语） Zbl 07450017号

Moss，Lawrence S.（编辑），《第十七届理性与知识理论方面会议论文集》，2019年7月17日至19日，法国图卢兹，TARK 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）297，1-18（2019）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{K.R.Apt}和\textit{D.Wojtczak}，电子。程序。西奥。计算。科学。（EPTCS）297，1-18（2019；Zbl 07450017）
全文： arXiv公司 链接
汤姆·赫肖维茨

积极GSOS规范的细胞单体。 （英语） Zbl 07449991号

Pérez，Jorge A.（编辑）等人，第26届并发表达性国际研讨会和第16届结构操作语义研讨会合集，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）300,1-18（2019）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hirschowitz}，电子。程序。西奥。计算。科学。（EPTCS）300，1-18（2019；Zbl 07449991）
全文： arXiv公司 链接
朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇

纳什均衡和互模拟不变性。 （英语） Zbl 1442.68142号

日志。方法计算。科学。 15，第3号，第32号论文，49页（2019年）.
MSC公司：68问题85 03B70号 68T42型 91A10号
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，《日志》。方法计算。科学。15，第3号，第32号论文，49页（2019年；Zbl 1442.68142）
全文： 内政部 arXiv公司
萨维里奥·贾勒伦佐;法布里西奥·蒙泰西;毛里齐奥·加布里埃利

应用舞蹈设计。 （英语） Zbl 1508.68242号

Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854，21-40（2018）。
MSC公司：68问题85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{S.Giallorenzo}等人，Lect。注释计算。科学。10854，21-40（2018；Zbl 1508.68242）
全文： 内政部 arXiv公司 哈尔
克劳斯·迪特·施韦;弗拉维奥·费拉罗蒂;Tec，Loredana公司;王青

分布式自适应系统。理论、规范、推理。 （英语） Zbl 1507.68054号

迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817，16-30（2018）。
MSC公司：64岁以下 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.-D.Schewe}等人，Lect。注释计算。科学。10817，16-30（2018；Zbl 1507.68054）
全文： 内政部
萨姆森·艾布拉姆斯基;尼希尔·沙阿

关联结构和功能：计算资源的共鸣语义。 （英语） Zbl 1509.03098号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第2条，第17页（2018年）。
MSC公司：03C13号机组 18立方厘米 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}和\textit{N.Shah}，LIPIcs——莱布尼茨国际程序。通知。119，第2条，第17页（2018；Zbl 1509.03098）
全文： 内政部
多莉安娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;吉田、Nobuko

可逆计算的参数框架。 （英语） Zbl 1525.68085号

Pérez，Jorge A.（编辑）等，第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集，EXPRESS/SOS 2018，中国北京，2018年9月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27687-103（2018）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Medic}等人，《电子》。程序。西奥。计算。科学。（EPTCS）276，87--103（2018；Zbl 1525.68085）
全文： 链接
奥利维埃·博迪尼;马蒂厄·迪恩;安托万·金特里尼;阿尔弗雷多·维奥拉

超越串行并行系统：arch进程的情况。 （英语） Zbl 1478.68187号

Fill，James Allen（编辑）等人，第29届算法分析的概率、组合和渐近方法国际会议，2018年6月25日至29日，AofA 2018，瑞典乌普萨拉。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。110，第14条，第14页（2018）。
MSC公司：68问题85 2015年1月5日
PDF格式BibTeX公司 XML格式引用
\textit{O.Bodini}等人，LIPIcs——莱布尼茨国际程序。通知。110，第14条，第14页（2018；Zbl 1478.68187）
全文： 内政部 arXiv公司
科西莫·拉内夫

针对具有线程和可重入锁的程序的轻量级死锁分析。 （英语） Zbl 1460.68030号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 608-624 (2018).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Laneve}，莱克特。注释计算。科学。10951、608--624（2018；Zbl 1460.68030）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件