×

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

最新的 引文 关联
宋亚辉;魏恩根·钦

纯酯醇时间验证的同步效应逻辑。 （英语） Zbl 1472.68020号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 417-440 (2021).
MSC公司：68甲15 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Song}和\textit{W.-N.Chin}，Lect。注释计算。科学。12597，417--440（2021；Zbl 1472.68020）
全文： 内政部
康斯坦蒂诺斯·马穆拉斯;阿格尼索姆查托帕迪耶;王志福

用于有效在线时间监控的代数定量语义。 （英语） Zbl 1467.68088号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 330-348 (2021).
MSC公司：60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛K.Mamouras｝等人，Lect。注释计算。科学。12651、330-348（2021；Zbl 1467.68088）
全文： 内政部
塞尔吉奥·费奥·阿雷尼斯;武吉诺维奇，米兰;伯恩德·韦斯特法尔

关于可实现的时间自动机。 （英语） Zbl 1511.68029号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 78-95 (2020).
MSC公司：68米14 68号30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Feo-Arenis}等人，Lect。注释计算。科学。12136，78-95（2020；Zbl 1511.68029）
全文： 内政部
康斯坦蒂诺斯·马穆拉斯

确定性数据流和流处理的语义基础。 （英语） Zbl 1508.68069号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075394-427（2020年）。
MSC公司：68号30 2010年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Mamouras}，莱克特。注释计算。科学。12075、394--427（2020年；Zbl 1508.68069）
全文： 内政部
佩德罗·里贝罗

一元半群迹代数。 （英语） Zbl 07578347号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12062, 270-285 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Ribeiro}，莱克特。注释计算。科学。12062、270--285（2020；Zbl 07578347）
全文： 内政部 链接
皮埃尔·洛伊奇·卡洛什;Temesghen Kahsai;泽维尔·蒂里欧

作为模块化Horn子句的分层状态机。 （英语） Zbl 1482.68102号

Gallagher，John P.（编辑）等人，《验证和合成Horn条款第三次研讨会论文集》，HCVS 2016，荷兰埃因霍温，2016年4月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）219，15-28（2016）。
MSC公司：2009年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.-L.Garoche}等人，《电子》。程序。西奥。计算。科学。（EPTCS）219，15--28（2016；Zbl 1482.68102）
全文： arXiv公司 链接
斯特凡诺·比斯塔雷利;毛里齐奥·加布里埃利;玛丽亚·希亚拉（Maria Chiara Meo）;弗朗西斯科·桑蒂尼

定时软并发约束程序：一种交错并行方法。 （英语） Zbl 1379.68087号

理论与实践。日志。程序。 15，第6期，743-782（2015）.
MSC公司：68甲19 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bistarelli}等人，《理论与实践》。日志。程序。15，第6号，743--782（2015；Zbl 1379.68087）
全文： 内政部 arXiv公司
萨宾·布罗达;西尔维亚卡瓦达斯;米盖尔·费雷拉;内尔玛·莫雷拉

用导数判定同步Kleene代数。 （英语） Zbl 1465.68192号

Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 49-62 (2015).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Broda}等人，Lect。注释计算。科学。9223，49-62（2015；Zbl 1465.68192）
全文： 内政部 链接
维杰·萨拉斯瓦特;葡萄藤古普塔;拉德哈·贾加迪桑

TCC，有历史。 （英语） Zbl 1408.68038号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际献给他的散文。柏林：施普林格。莱克特。注释计算。科学。8464, 458-475 (2014).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛V.Saraswat｝等人，Lect。注释计算。科学。8464、458--475（2014年；Zbl 1408.68038）
全文： 内政部 arXiv公司
吴成成;赵永新;朱慧彪

统一瞬时反应的操作语义和代数语义。 （英语） Zbl 1452.68059号

Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：施普林格。莱克特。注释计算。科学。7681, 186-203 (2013).
MSC公司：68号30 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{C.Wu}等人，Lect。注释计算。科学。7681、186--203（2013；Zbl 1452.68059）
全文： 内政部
威廉·鲍尔·德·罗弗;杰拉尔德·吕特根;迈克尔·门德勒

步骤是什么：对一个经典问题的新观点。 （英语） Zbl 1288.68172号

Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲义6200，370-399（2010）。
MSC公司：60年第68季度 68甲15 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{W.-P.de Roever}等人，Lect。注释计算。科学。6200、370-399（2010年；Zbl 1288.68172）
全文： 内政部
罗伯特·阿马迪奥（Roberto M.Amadio）。

关于收敛敏感互模拟和CCS在定时CCS中的嵌入。 （英语） Zbl 1291.68275号

Hildebrandt，Thomas（编辑）等人，《第十五届并发表达能力国际研讨会论文集》（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，3-17页（2009年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.M.Amadio}，电子。理论注释。计算。科学。242，第1、3--17号（2009年；Zbl 1291.68275）
全文： 内政部
马西莫·梅罗

移动自组网的观测理论。 （英语） Zbl 1316.68099号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，275-293（2007）。
MSC公司：68问题85 68M10个 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Merro}，电子。理论注释。计算。科学。173275--293（2007年；Zbl 1316.68099）
全文： 内政部
杰苏斯·阿兰达;辛齐亚·迪·朱斯托;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。

关于进程计算中的递归、复制和作用域机制。 （英语） Zbl 1147.68587号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。计算机科学课堂讲稿4709185-206（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Aranda}等人，Lect。注释计算。科学。4709185--206（2007年；Zbl 1147.68587）
全文： 内政部
苏米特·奈恩;莫舍·瓦尔迪。

分支与线性时间：语义视角。 （英语） Zbl 1141.68481号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762，19-34（2007）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Nain}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。4762、19-34（2007年；Zbl 1141.68481）
全文： 内政部 链接
罗伯特·阿马迪奥（Roberto M.Amadio）。;杰拉德·布多尔;弗雷德里克·布西诺;伊利亚州卡斯特拉尼

重新访问了反应式并发编程。 （英语） Zbl 1316.68032号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，49-60（2006）。
MSC公司：68甲15 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.M.Amadio}等人，《电子》。理论注释。计算。科学。162、49-60（2006年；Zbl 1316.68032）
全文： 内政部
丹尼尔·克罗布

复杂软件系统的建模：一个合理的概述。 （英语） Zbl 1225.68080号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿42291-22（2006）。
MSC公司：68N99型 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{D.Krob}，莱克特。注释计算。科学。4229，1--22（2006；Zbl 1225.68080）
全文： 内政部
杰雷米·布朗;瑞希德·埃哈希德

定时重写系统。 （英语） Zbl 1268.68093号

Hanus，Michael（编辑），WFLP 2001。功能和（约束）逻辑编程国际研讨会论文集，德国基尔，2001年9月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记64，95-112（2002）。
MSC公司：2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Blanc}和\textit{R.Echahed}，电子。理论注释。计算。科学。64、95——112（2002年；Zbl 1268.68093）
全文： 内政部
阿加提·默塞隆;莫妮卡·穆勒堡;G.Michele Pinna

在多语言环境中指定和验证反应式系统。 （英语） Zbl 1268.68115号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，244-256（2002）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Merceron}等人，《电子》。理论注释。计算。科学。62、244--256（2002年；Zbl 1268.68115）
全文： 内政部
戈丁，迪娜·Q。;斯科特·斯莫尔卡。;彼得·韦格纳

图灵机、转换系统和交互。 （英语） Zbl 1260.68267号

Aceto，Luca（编辑）等人，EXPRESS’01。2001年8月20日在丹麦奥尔堡举行的CONCUR 2001第八届并发表达能力国际研讨会会议记录。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》52，第1期，第120-136页（2002年）。
MSC公司：68问题85 2005年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Q.Goldin}等人，《电子》。理论注释。计算。科学。52，第1号，120--136（2002；Zbl 1260.68267）
全文： 内政部
兰斯·克莱维兰;杰拉尔德·吕特根;迈克尔·门德勒

多时钟的代数理论。 （英语） Zbl 1512.68164号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1243, 166-180 (1997).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}等人，Lect。注释计算。科学。1243、166--180（1997年；Zbl 1512.68164）
全文： 内政部
安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼

状态图的等效性。 （英语） Zbl 1514.68173号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1119, 687-702 (1996).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Maggiolo-Schettini}等人，Lect。注释计算。科学。1119687-702（1996年；Zbl 1514.68173）
全文： 内政部
葡萄藤古普塔;拉德哈·贾加迪桑;维杰·萨拉斯瓦特

并发约束编程模型。 （英语） 兹比尔1514.68167

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。第1119页，第66-83页（1996年）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Gupta}等人，Lect。注释计算。科学。1119、66-83（1996年；Zbl 1514.68167）
全文： 内政部
A.普努利。;沙列夫，M。

步骤是什么：状态图的语义。 （英语） Zbl 1493.68121号

Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 244-264 (1991).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}和\textit{M.Shalev}，莱克特。注释计算。科学。526244--264（1991年；Zbl 1493.68121）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件