×

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

最新的 引文 关联
克莱门·奥伯特;罗斯·霍恩;克里斯蒂安·约翰森

互不干涉应用（pi）演算中关于持续时间和因果关系的互模拟。 （英语） Zbl 07800866号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，3-22（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，3-22（2022；兹bl 07800866）
全文： arXiv公司 链接
罗布·范格拉贝克

比较\（\pi\）-演算和CCS的表达能力。 （英语） Zbl 1528.68258号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 548-574 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，莱克特。注释计算。科学。13240，548--574（2022；Zbl 1528.68258）
全文： 内政部 arXiv公司
罗斯·霍恩;绍克·莫;塞门·尤尔科夫

使用拟开双相似性对应用（pi）演算中的协议等价性进行组合分析。 （英语） Zbl 07500647号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏丹，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 235-255 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Horne}等人，Lect。注释计算。科学。12819、235-255（2021；Zbl 07500647）
全文： 内政部
秦旭东;邓玉欣;杜文杰

用地面互模拟验证量子通信协议。 （英语） Zbl 1473.68115号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 21-38 (2020).
MSC公司：68问题85 第68季度12 第68季度第60季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{X.Qin}等人，Lect。注释计算。科学。12079，21-38（2020；Zbl 1473.68115）
全文： 内政部
阿达梅克，吉安尼;斯特凡·米利厄斯;劳伦斯·莫斯。

关于基础良好的递归余代数。 （英语） Zbl 1455.18001号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 17-36 (2020).
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：18甲15 18 C50 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。12077，17-36（2020；Zbl 1455.18001）
全文： 内政部 arXiv公司
邓玉欣

概率和量子过程的相互模拟（特邀论文）。 （英语） Zbl 1520.68093号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第2条，第14页（2018年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}，LIPIcs——莱布尼茨国际程序。通知。118，第2条，第14页（2018；兹bl 1520.68093）
全文： 内政部
安基永;罗斯·霍恩;Tiu，Alwen先生

使用直觉模态逻辑表征开放双相似性。 （英语） Zbl 1442.68121号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第7条，第17页（2017年）。
MSC公司：68问题85 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{K.Y.Ahn}等人，LIPIcs——莱布尼茨国际程序。通知。85，第7条，第17页（2017；Zbl 1442.68121）
全文： 内政部
Tiu，Alwen先生;南阮;罗斯·霍恩

SPEC：安全协议的等价检查程序。 （英语） Zbl 1483.68050号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 87-95 (2016).
MSC公司：68平方米25 68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Tiu}等人，Lect。注释计算。科学。10017，87-95（2016；Zbl 1483.68050）
全文： 内政部 链接
马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;默多克·J·加贝。

标称SOS。 （英语） Zbl 1342.68193号

Berger，Ulrich（ed.）等人，第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）
全文： 内政部
萨姆·斯塔顿

两个同调词合一：地方州和新名称的代数理论介绍。 （英语） Zbl 1338.18034号

Abramsky，Samson（编辑）等人，第25届编程语义数学基础会议论文集（MFPS 2009），英国牛津，2009年4月3日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记249471-490（2009）。
MSC公司：18日第15天 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Staton}，电子。注释Theor。计算。科学。249471-490（2009年；Zbl 1338.18034）
全文： 内政部
Tiu，Alwen先生

关于名称在推理\（\lambda \）-树语法规范中的作用。 （英语） 兹比尔1337.68076

Abel，Andreas（ed.）等人，第三届逻辑框架和元语言国际研讨会论文集：理论与实践（LFMTP 2008），美国宾夕法尼亚州匹兹堡，2008年6月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记228135-150（2009）。
MSC公司：68号30 03B40型 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Tiu}，电子。注释Theor。计算。科学。228135-150（2009年；Zbl 1337.68076）
全文： 内政部
萨姆·斯塔顿

相互模拟的相关联脑概念。与应用程序名称传递过程计算（扩展抽象）。 （英语） Zbl 1239.68054号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学讲义5728191-205（2009）。
MSC公司：68问题85 18B20型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{S.Staton}，莱克特。注释计算。科学。5728191-205（2009年；Zbl 1239.68054）
全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里

协代数符号语义。 （英语） Zbl 1239.68049号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728173-190（2009）。
MSC公司：68问题85 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}和\textit{U.Montanari}，莱克特。注释计算。科学。5728173--190（2009年；Zbl 1239.68049）
全文： 内政部
克里斯蒂安·斯特夫林;索伦·拉森（Soren B.Lassen）。

关于顺序控制和状态的完整的共归纳句法理论。 （英语） Zbl 1253.68083号

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，329-375（2009）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{K.Stövring}和\textit{S.B.Lassen}，莱克特。注释计算。科学。5700、329--375（2009年；Zbl 1253.68083）
全文： 内政部
杰里米·道森。;Tiu，Alwen先生

形式化环境敏感互模拟的观测器理论。 （英语） 兹比尔1252.68251

Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674180-195（2009）。
MSC公司：68吨15 68个M12 68问题85 03B25号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Dawson}和\textit{A.Tiu}，莱克特。注释计算。科学。5674、180--195（2009年；Zbl 1252.68251）
全文： 内政部
马里诺·米库兰

融合演算的分类模型。 （英语） Zbl 1286.68355号

Bauer，Andrej（编辑）等人，《第24届编程语义数学基础会议论文集》（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记218275-293（2008）。
MSC公司：68问题85 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{M.Miculan}，电子。注释Theor。计算。科学。218275-293（2008年；Zbl 1286.68355）
全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里

反应系统的联合理论。 （英语） Zbl 1279.68249号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209201-215（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}和\textit{U.Montanari}，电子。注释Theor。计算。科学。209201--215（2008；Zbl 1279.68249）
全文： 内政部
菲利波·邦奇;乌戈·蒙塔纳里

G-反应系统作为余代数。 （英语） Zbl 1277.68163号

Ehrig，H.（ed.）等人，应用和计算范畴理论第二次研讨会论文集（ACCAT 2007），葡萄牙布拉加，2007年3月25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记203，第6期，3-17页（2008年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}和\textit{U.Montanari}，电子。注释Theor。计算。科学。203，第6号，第3-17号（2008；Zbl 1277.68163）
全文： 内政部
菲利波·邦奇;玛丽亚·格拉齐亚·布西米;Ciancia，文森佐;法比奥·加杜奇

一类明确的融合。 （英语） Zbl 1144.68038号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065544-562（2008）。
MSC公司：68问题55 18立方厘米 18层20
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。506544-562（2008年；Zbl 1144.68038）
全文： 内政部
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里

打开并发约束像素的互模拟。 （英语） Zbl 1133.68384号

Sophia Drossopoulou（编辑），《编程语言和系统》。第17届欧洲编程研讨会，ESOP 2008，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2008，匈牙利布达佩斯，2008年3月29日至4月6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78738-9/pbk）。计算机科学课堂讲稿4960254-268（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Buscemi}和\textit{U.Montanari}，莱克特。注释计算。科学。4960254--268（2008年；Zbl 1133.68384）
全文： 内政部
汉斯·休特尔

决定框架的相似性。 （英语） Zbl 1270.68216号

库塞拉、安东尼（编辑）等人，《无限》，2002年。第四届无限状态系统验证国际研讨会（CONCUR 2002卫星研讨会）论文选集，捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第6期，第1-18页（2003年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Hüttel}，电子。注释Theor。计算。科学。68，第6号，1--18（2003；Zbl 1270.68216）
全文： 链接
罗伯托·布鲁尼;Furio Honsell;玛丽娜·莱妮莎;马里诺·米库兰

比较逻辑框架和tile逻辑中的高阶编码。 （英语） Zbl 1268.68047号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，136-156（2002）。
MSC公司：68甲18 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。62、136--156（2002年；Zbl 1268.68047）
全文： 内政部
比约恩·维克多;若阿希姆·帕罗

约束作为过程。 （英语） Zbl 1514.68187号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 389-405 (1996).
MSC公司：68问题85 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Victor}和\textit{J.Parrow}，莱克特。注释计算。科学。1119389--405（1996年；Zbl 1514.68187）
全文： 内政部
林惠民

演算中弱互模拟等价的完备推理系统。 （英语） Zbl 1496.68238号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 187-201 (1995).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Lin}，莱克特。注释计算。科学。915187-201（1995年；Zbl 1496.68238）
全文： 内政部
法拉利，吉安路易吉;乌戈·蒙塔纳里;保拉·夸里亚

带有显式替换的（pi）演算：后期语义。 （英语） Zbl 1493.68244号

Privara，Igor（编辑）等人，《1994年计算机科学的数学基础》。1994年8月22日至26日，斯洛伐克科希策，第19届国际研讨会，MFCS’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。841, 342-351 (1994).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Ferrari}等人，Lect。注释计算。科学。841342--351（1994年；Zbl 1493.68244）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件