×

找到244份文件（结果1-100）

最新的 引文 关联
克莱门·奥伯特;彼得·布朗宁

可逆分布式微积分的实现。 （英语） Zbl 07786603号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 210-217 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{P.Browning}，莱克特。注释计算。科学。13960、210-217（2023；Zbl 07786603）
全文： 内政部 哈尔
克莱门·奥伯特

可逆并发计算中的复制。 （英语） Zbl 07786592号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 15-23 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，莱克特。注释计算。科学。13960，15--23（2023；Zbl 07786592）
全文： 内政部 哈尔
约瑟夫·保卢斯（Joseph W.N.Paulus）。;丹尼尔·南特斯·索布里尼奥;佩雷斯（Jorge A.Pérez）。

非确定性作为非确定性过程发挥作用。 （英语） 兹伯利0775361

日志。方法计算。科学。 19，第4号，第1号论文，120页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{J.W.N.Paulus}等人，Log。方法计算。科学。19，第4号，第1号论文，120页（2023；Zbl 07753361）
全文： 内政部 arXiv公司
OA许可证
安娜施密特;柯斯汀·彼得斯;邓玉欣

量子系统的可编码性标准。 （英语） Zbl 1499.68234号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。2022年6月13日至17日，第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，DisCoTec 2022，意大利卢卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 151-169 (2022).
MSC公司：68问题85 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Schmitt}等人，Lect。注释计算。科学。13273151-169（2022年；Zbl 1499.68234）
全文： 内政部 arXiv公司
帕特里克·贝洛特;亚历克西斯·盖塞伦;直纪小林

大小类型，用于Pi-calculus过程的并行复杂性。 （英语） Zbl 07730636号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第34条，第22页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baillot}等人，LIPIcs——莱布尼茨国际程序。通知。203，第34条，22 p.（2021；Zbl 07730636）
全文： 内政部 arXiv公司
伊莱恩·皮门特尔;卡洛斯·奥拉特;Vivek Nigam先生

过程-形式解释：一种亚结构多模态观点（邀请演讲）。 （英语） Zbl 07700608号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第3条，第21页（2021）。
MSC公司：68倍 03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛E.Pimentel｝等人，LIPIcs——莱布尼茨国际期刊。通知。195，第3条，第21页（2021；Zbl 07700608）
全文： 内政部
克莱门·奥伯特;多利亚娜·梅迪奇

可逆并发演算中的显式标识符和上下文。 （英语） 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公司 链接
亚历克斯·C·凯泽。;海宁·巴索尔德;佩雷斯（Jorge A.Pérez）。

会话联合：关于会话类型和通信协议的联合视图。 （英语） Zbl 1473.68114号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 375-403 (2021).
MSC公司：68问题85 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{A.C.Keizer}等人，Lect。注释计算。科学。12648375--403（2021；Zbl 1473.68114）
全文： 内政部 arXiv公司
OA许可证
帕特里克·贝洛特;亚历克西斯·盖塞伦

像素计算中并行计算复杂性的类型。 （英语） Zbl 1473.68111号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 59-86 (2021).
MSC公司：68问题85 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Baillot}和\textit{A.Ghyselen}，莱克特。注释计算。科学。12648，59-86（2021；Zbl 1473.68111）
全文： 内政部 哈尔
雨果·A·洛佩兹。;瑟伦·德博伊斯;斯莱亚特，蒂杰斯;托马斯·希尔德布兰特。

使用法律参考模型遵守业务流程。 （英语） Zbl 1507.68215号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 378-399 (2020).
MSC公司：68问题85 第68季度第60季度 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{H.A.López}等人，Lect。注释计算。科学。12076378--399（2020年；Zbl 1507.68215）
全文： 内政部
OA许可证
伊万·拉内斯;多利亚娜·梅迪奇

导出不可控可逆语义的一般方法。 （英语） Zbl 07559489号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第33条，第24页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛I.Lanese｝和\textit｛D.Medić｝，LIPIcs——莱布尼茨国际期刊。通知。171，第33条，第24页（2020；Zbl 07559489）
全文： 内政部
克莱门·奥伯特;爱荷华州克里斯特斯库

可逆性如何解决传统问题：以遗传历史保护相互模拟为例。 （英语） Zbl 07559463号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第7条，第23页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{I.Cristescu}，LIPIcs——莱布尼茨国际程序。通知。171，第7条，23 p.（2020；Zbl 07559463）
全文： 内政部 arXiv公司
罗布·范格拉贝克;乌苏拉·戈尔茨;克里斯托弗·利珀特;斯蒂芬·门尼克

编码同步的有效性标准更强。 （英语） Zbl 07817547号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 182-205 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}等人，Lect。注释计算。科学。11760182-205（2019年；兹bl 07817547）
全文： 内政部
奥曼·波霍拉，约翰内斯

重温Psi-calculi：连通性和组合性。 （英语） Zbl 07800275号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 3-20 (2019).
MSC公司：68问题85 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{J.奥曼·波霍拉}，莱克特。注释计算。科学。11535，3-20（2019；Zbl 07800275）
全文： 内政部 哈尔
路易斯·凯雷斯;佩雷斯（Jorge A.Pérez）。;弗兰克·芬宁;伯纳多·托尼霍

域软件会话类型。 （英语） Zbl 07649947号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第39条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}等人，LIPIcs——莱布尼茨国际程序。通知。140，第39条，第17页（2019年；Zbl 07649947）
全文： 内政部 arXiv公司
罗曼·德曼根;吉田信子

分布式进程的因果计算复杂性。 （英语） Zbl 1497.68333号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。344-353（2018年）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Demangeon}和\textit{N.Yoshida}，摘自：2018年第33届ACM/IEEE年度计算机科学逻辑研讨会论文集，2018年LICS 2018，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。344--353（2018；Zbl 1497.68333）
全文： 内政部
易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬

并发量子系统的自动等价性检查。 （英语） 兹比尔1407.68276

ACM事务处理。计算。日志。 第19条第4款第28条第32页（2018年）.
MSC公司：第68季度第60季度 2012年第68季度 68问题85 第81页第45页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{E.Ardeshir-Larijani}等人，ACM Trans。计算。日志。19，第4号，第28条，第32页（2018；Zbl 1407.68276）
全文： 内政部 链接
斯特凡·库恩

共价键演算中碱基切除修复的模拟。 （英语） Zbl 1515.68209号

Kari，Jarkko（编辑）等人，《可逆计算》。2018年9月12日至14日在英国莱斯特举行的2018年RC第十届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11106, 123-129 (2018).
MSC公司：68问题85 2009年第68季度 92C40型 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kuhn}，莱克特。注释计算。科学。11106123-129（2018；Zbl 1515.68209）
全文： 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇

融合的域和事件结构。 （英语） Zbl 1458.68128号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第75条，第12页（2017年）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第75条，第12页（2017；Zbl 1458.68128）
全文： arXiv公司 链接
伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼

并发可逆会话。 （英语） Zbl 1442.68129号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。85，第30条，第17页（2017年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Castellani}等人，LIPIcs--Leibniz Int.Proc。通知。85，第30条，第17页（2017；Zbl 1442.68129）
全文： 内政部
阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉

方程的发散性和唯一解。 （英语） Zbl 1442.68135号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。85，第11条，第16页（2017）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Durier}等人，LIPIcs——莱布尼茨国际程序。通知。85，第11条，第16页（2017年；Zbl 1442.68135）
全文： 内政部
罗斯·霍恩;Tiu，Alwen先生;阿曼，博格丹;加布里埃尔·乔巴努

非交换逻辑中的私有名称。 （英语） Zbl 1392.68303号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第31条，16页（2016）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Horne}等人，LIPIcs——莱布尼茨国际程序。通知。59，第31条，第16页（2016；Zbl 1392.68303）
全文： 内政部
克里斯蒂娜·里克曼;克里斯托夫·瓦格纳;乌韦·内斯特曼;斯特凡·施密德

具有名称传递过程演算的拓扑自稳定。 （英语） Zbl 1392.68314号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学论文集59，第19条，第15页（2016）。
MSC公司：68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{C.Rickmann}等人，LIPIcs——莱布尼茨国际程序。通知。59，第19条，第15页（2016年；Zbl 1392.68314）
全文： 内政部
斯特凡·库恩;伊雷克·乌利多夫斯基

局部可逆性的微积分。 （英语） Zbl 1476.68175号

Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 20-35 (2016).
MSC公司：68问题85 2010年第68季度 92E20型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Kuhn｝和\textit｛I.Ulidowski｝，Lect。注释计算。科学。9720，20--35（2016；Zbl 1476.68175）
全文： 内政部 链接
大卫·萨贝尔;曼弗雷德·施密特·沙乌

观察pi-calculus的成功。 （英语） Zbl 1428.68206号

Chiba，Yuki（编辑）等人，2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会，WPTE'15。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。OASIcs–OpenAccess服务器。通知。46, 31-46 (2015).
MSC公司：68问题85 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Sabel}和\textit{M.Schmidt-Schauß}，OASIcs--OpenAccess Ser。通知。46、31-46（2015年；Zbl 1428.68206）
全文： 内政部
邓玉欣;冯、袁;乌戈·达尔拉戈

关于共还原和量子lambda计算。 （英语） Zbl 1374.68097号

Aceto，Luca（ed.）等人，第26届并发理论国际会议，CONCUR'15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，427-440（2015）。
MSC公司：68甲18 68问题85 81页68
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，LIPIcs——莱布尼茨国际程序。通知。42427--440（2015年；Zbl 1374.68097）
全文： 内政部
迪米特里奥斯·库扎帕斯;佩雷斯（Jorge A.Pérez）。;吉田信子

高阶会话进程的特征互模拟。 （英语） Zbl 1374.68336号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，398-411（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Kouzapas}等人，LIPIcs——莱布尼茨国际程序。通知。42398--411（2015年；Zbl 1374.68336）
全文： 内政部
塞尔盖·伦格利特;阿兰·施密特

豪的上下文语义方法。 （英语） Zbl 1374.68338号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，212-225（2015）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Lenglet}和\textit{A.Schmitt}，LIPIcs——莱布尼茨国际程序。通知。42212-225（2015年；Zbl 1374.68338）
全文： 内政部
斯特凡·库恩;伊雷克·乌利多夫斯基

朝向局部可逆性建模。 （英语） Zbl 1464.68113号

Krivine，Jean（编辑）等人，《可逆计算》。2015年7月16日至17日，在法国格勒诺布尔举行的2015年RC第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9138, 279-284 (2015).
MSC公司：2009年第68季度 68问题85 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kuhn}和\textit{I.Ulidowski}，莱克特。注释计算。科学。9138279--284（2015；Zbl 1464.68113）
全文： 内政部
Al-Humaimedy，Abeer S。;玛丽贝尔·费尔南德斯

在CSP中为SOC启用同步和异步通信。 （英语） Zbl 1342.68221号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记31269-88，仅电子版（2015）。
MSC公司：68问题85 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Al-Humamededy}和\textit{M.Fernández}，电子。注释Theor。计算。科学。31269--88（2015；Zbl 1342.68221）
全文： 内政部
范·斯塔登（Stephan van Staden）

构建视图框架。 （英语） Zbl 1457.68070号

戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8963, 62-83 (2015).
MSC公司：68号30 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.van Staden}，莱克特。注释计算。科学。8963，62-83（2015；Zbl 1457.68070）
全文： 内政部
大卫·萨贝尔

圆周率演算中的结构重写。 （英语） Zbl 1428.68205号

Schmidt-Schauß，Manfred（ed.）等人，《程序转换和评估重写技术第一次国际研讨会》，WPTE'14，奥地利维也纳，2014年7月13日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。OASIcs–OpenAccess服务器。通知。40, 51-62 (2014).
MSC公司：68问题85 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Sabel}，OASIcs--OpenAccess服务器。通知。40、51-62（2014年；Zbl 1428.68205）
全文： 内政部
洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐

编程和验证组件集成。 （英语） 兹伯利1416.68051

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第8415页，第69-83页（2014年）。
MSC公司：68号30 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。8415，69-83（2014；Zbl 1416.68051）
全文： 内政部
巴布亚州索波辛斯基;欧文·斯蒂芬斯

一种用于网络系统空间分布的编程语言。 （英语） Zbl 1410.68259号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8489, 150-169 (2014).
MSC公司：68问题85 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{P.Sobocinn ski}和\textit{O.Stephens}，莱克特。注释计算。科学。8489150-169（2014年；Zbl 1410.68259）
全文： 内政部
马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;Gabbay，默多克J。

标称SOS。 （英语） 兹比尔1342.68193

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286103-116（2012）。
MSC公司：68问题55 68甲18 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}等人，《电子》。注释Theor。计算。科学。286103--116（2012；Zbl 1342.68193）
全文： 内政部
萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini

多方会话中的信息流安全。 （英语） Zbl 1457.68182号

Luttik，Bas（编辑）等人，《第18届并发表达性国际研讨会论文集》，EXPRESS’11，德国亚琛，2011年9月5日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第64、16-30页（2011年）。
MSC公司：68问题85 68平方米5 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Capecchi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）64，16--30（2011；Zbl 1457.68182）
全文： arXiv公司 链接
曼弗雷德·施密特·沙乌;康拉德·劳;大卫·萨贝尔

扩展字母等效性和复杂性的算法。 （英语） Zbl 1356.68046号

van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21，255-270（2013）。
MSC公司：68号30 68甲18 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}等人，LIPIcs——莱布尼茨国际程序。通知。21255-270（2011年；兹比尔1356.68046）
全文： 内政部
阿曼，博格丹;加布里埃尔·乔巴努

过程计算和自然计算中的移动性。 （英语） Zbl 1238.68005号

自然计算系列柏林：施普林格出版社（ISBN 978-3-642-24866-5/hbk；978-3-442-24867-2/电子书）。xiii，208页。(2011).
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68-02 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Aman}和\textit{G.Ciobanu}，过程计算和自然计算中的移动性。柏林：施普林格（2011年；兹bl 1238.68005）
全文： 内政部 链接
斯文·施奈德;乌韦·内斯特曼

使用过程演算对混合系统进行严格的离散化。 （英语） Zbl 1348.68109号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919301-316（2011）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}和\textit{U.Nestmann}，莱克特。注释计算。科学。6919301--316（2011；Zbl 1348.68109）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件