×

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

最新的 引文 关联
瑞克·埃尔肯斯;朱里安·罗特;巴斯·卢提克

分支双相似性的最新技术。 （英语） Zbl 1440.68176号

Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 285-297 (2020).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Erkens}等人，Lect。注释计算。科学。12011，285--297（2020；Zbl 1440.68176）
全文： 内政部 arXiv公司
柯斯汀·彼得斯

使用编码比较进程计算。 （英语） Zbl 07449992号

Pérez，Jorge A.（编辑）等人，第26届并发表达性国际研讨会和第16届结构操作语义研讨会合集，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）300，19-38（2019）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Peters}，电子。程序。西奥。计算。科学。（EPTCS）300，19-38（2019；兹bl 07449992）
全文： arXiv公司 链接
田，春;戴维·桑吉奥吉

收缩、CCS及其HOL形式化的独特解决方案。 （英语） Zbl 1525.68086号

Pérez，Jorge A.（编辑）等，第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集，EXPRESS/SOS 2018，中国北京，2018年9月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）276122-139（2018）。
MSC公司：68问题85 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}和\textit{D.Sangiorgi}，电子。程序。西奥。计算。科学。（EPTCS）276122--139（2018；Zbl 1525.68086）
全文： 链接
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir

监视无声操作。 （英语） Zbl 1491.68104号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第7条，第14页（2018年）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。93，第7条，第14页（2018；Zbl 1491.68104）
全文： 内政部
路易斯·克鲁兹·菲利佩;Larsen，Kim S。;法布里西奥·蒙泰西

舞蹈提取的路径。 （英语） Zbl 1486.68111号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 424-440 (2017).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Cruz-Filipe}等人，Lect。注释计算。科学。10203、424--440（2017；Zbl 1486.68111）
全文： 内政部 arXiv公司
马修·轩尼诗;马尼什·戈尔

计算微积分（扩展摘要）中的成本。 （英语） Zbl 1291.68288号

Bonchi，Filippo（编辑）等人，第一届交互和并发体验研讨会（ICE 2008）会议记录，冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第3期，117-129（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Hennessy}和\textit{M.Gaur}，电子。注释Theor。计算。科学。229，第3号，117--129（2009；Zbl 1291.68288）
全文： 内政部
卢卡·福萨蒂;丹尼尔·瓦拉卡

握手配置的演算。 （英语） Zbl 1234.68296号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504227-241（2009）。
MSC公司：68问题85 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{L.Fossati}和\textit{D.Varacca}，Lect。注释计算。科学。5504227--241（2009年；Zbl 1234.68296）
全文： 内政部
丹尼尔·戈拉

过程计算的可编码性和分离结果的统一方法。 （英语） 兹比尔1160.68466

van Breugel，Franck（编辑）等人，CONCUR 2008——并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，492-507（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorla}，莱克特。注释计算。科学。5201492--507（2008年；Zbl 1160.68466）
全文： 内政部
阿斯特里德·基恩

共享消息传递通信的操作语义。 （英语） Zbl 1278.68143号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，77-92（2007）。
MSC公司：68问题55 68M10个
PDF格式BibTeX公司 XML格式引用
\textit{A.Kiehn}，电子。注释Theor。计算。科学。192，第1号，77--92（2007；Zbl 1278.68143）
全文： 内政部
丹尼尔·戈拉

通信原语中的同步与异步。 （英语） Zbl 1277.68185号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，87-108（2007）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorla}，电子。注释Theor。计算。科学。175，第3号，87--108（2007；Zbl 1277.68185）
全文： 内政部
Damien Pous

完整的格子和up-to技术。 （英语） Zbl 1138.68041号

Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807351-366（2007）。
MSC公司：68问题85 06B23号
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}，莱克特。注释计算。科学。4807、351--366（2007；Zbl 1138.68041）
全文： 内政部 链接
弗拉维奥·科拉迪尼

过程代数中的绝对时间与相对时间。 （英语） 兹比尔0911.68137

Palamidessi，C.（编辑）等人，EXPRESS’97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第7、20页（1997年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Corradini}，in：EXPRESS'97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔。20页（1997年；Zbl 0911.68137）
全文： 链接
米歇尔·博雷尔

论命名计算中内部流动的表现力。 （英语） Zbl 1514.68157号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 163-178 (1996).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Boreale}，莱克特。注释计算。科学。1119163--178（1996年；Zbl 1514.68157）
全文： 内政部
伊丽莎白·伦纳德。;艾米·扎里科（Amy E.Zwarico）。

开发和维护实时系统的代数框架。 （英语） Zbl 1496.68237号

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 338-352 (1995).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.I.Leonard}和\textit{A.E.Zwarico}，莱克特。注释计算。科学。936338-352（1995年；兹bl 1496.68237）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件