×

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

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

纯酯醇时间验证的同步效应逻辑。 （英语） 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。注释计算。科学。12597117-440（2021年；兹比尔1472.68020）
全文： 内政部
克里斯蒂安·乌尔达尔·格劳伦德;Dmitrij，Szamozvancev;内尔·克里希纳斯瓦米

伴随反应式GUI编程。 （英语） Zbl 07410430号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 289-309 (2021).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.U.Graulund}等人，Lect。注释计算。科学。12650、289--309（2021；Zbl 07410430）
全文： 内政部 arXiv公司
OA许可证
塞尔吉奥·费奥·阿雷尼斯;米兰武吉诺维奇;伯恩德·韦斯特法尔

关于可实现的时间自动机。 （英语） 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）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 394-427 (2020).
MSC公司：68号30 第68季度10 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Mamouras}，莱克特。注释计算。科学。12075、394--427（2020年；Zbl 1508.68069）
全文： 内政部
OA许可证
佩德罗·里贝罗

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

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

原则性软件开发。在阿恩·波茨切·赫夫特60岁生日之际，为他撰写的论文。根据2018年11月在德国凯泽斯劳滕举行的研讨会上的演讲选择的论文。 （英语） Zbl 1400.68032号

查姆：施普林格（ISBN 978-3-319-98046-1/hbk；978-3-316-98047-8/电子书）。viii，第323页。（2018）。
MSC公司：68-06 68号30 00B25型 00立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Müller}（编辑）和\textit{I.Schaefer}（主编），原理软件开发。在阿恩·波茨切·赫夫特60岁生日之际，为他撰写的论文。根据2018年11月在德国凯泽斯劳滕举行的研讨会上的陈述选出的论文。查姆：施普林格（2018；Zbl 1400.68032）
全文： 内政部
严、高高;焦、李;王淑玲;詹乃军

从延迟混合CSP合成SystemC代码。 （英语） Zbl 1503.68186号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 21-41 (2017).
MSC公司：60年第68季度 68号30 93立方厘米 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{G.Yan}等人，Lect。注释计算。科学。10695，21-41（2017；Zbl 1503.68186）
全文： 内政部 arXiv公司
杰弗里·费舍尔（Jeffrey M.Fischer）。;鲁帕克·马朱姆达尔

通过组合过滤器进行编程。 （英语） Zbl 1403.68023号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，1-13（2017）。
MSC公司：68平方米 68问题55 68问题85 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Fischer}和\textit{R.Majumdar}，EPiC Ser。计算。46、1-13（2017；Zbl 1403.68023）
全文： 内政部
皮埃尔·洛伊奇·卡洛什;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公司 链接
伊恩·海耶斯。;罗伯特·J·科尔文。;拉里萨·梅尼基。;克尔斯滕·温特;安德烈乌斯·维利基斯

同步原子步代数。 （英语） Zbl 1427.68197号

Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9995, 352-369 (2016).
MSC公司：68问题85 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{I.J.Hayes}等人，Lect。注释计算。科学。9995，352--369（2016；Zbl 1427.68197）
全文： 内政部 arXiv公司
贝诺缬氨酸

从高阶函数程序生成可逆电路。 （英语） Zbl 1480.94057号

Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 289-306 (2016).
MSC公司：94C11号机组 94D10号 68号30 81页68
PDF格式BibTeX公司 XML格式引用
\textit{B.Valiron}，莱克特。注释计算。科学。9720，289--306（2016；Zbl 1480.94057）
全文： 内政部 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公司
范德普洛格，阿泽;科恩·克莱森

实用原则FRP：忘记过去，改变未来，FRP现在！ （英语） 兹比尔1360.68337

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。302-314（2015年）。
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.van der Ploeg}和\textit{K.Claessen}，摘自：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。302-314（2015；Zbl 1360.68337）
全文： 内政部
佩杰曼·阿塔;伊利亚卡斯特拉尼

细粒度和粗粒度反应无干扰。 （英语） Zbl 1348.68155号

Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358159-179（2014）。
MSC公司：68问题85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{P.Attar}和\textit{I.Castellani}，莱克特。注释计算。科学。8358159--179（2014年；Zbl 1348.68155）
全文： 内政部 哈尔
斯塔夫罗斯·特里帕基斯;克里斯·沙弗

同步关系接口中的反馈。 （英语） Zbl 1416.68115号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415249-266（2014年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Tripakis}和\textit{C.Shaver}，莱克特。注释计算。科学。8415，249--266（2014；Zbl 1416.68115）
全文： 内政部
爱德华·A·李。

建设性碰撞。 （英语） Zbl 1416.68202号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 161-176 (2014).
MSC公司：68岁20岁 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Lee}，莱克特。注释计算。科学。8415，161--176（2014；Zbl 1416.68202）
全文： 内政部
维杰·萨拉斯瓦特;葡萄藤古普塔;拉德哈·贾加迪桑

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公司
Jean-Pierre塔宾;詹斯·勃兰特;Mike Gemünde;克劳斯·施耐德;桑迪普·舒克拉

构造性多时系统。 （英语） 兹比尔1437.68109

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734335-349（2013年）。
MSC公司：68问题55 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Talpin}等人，Lect。注释计算。科学。7734、335--349（2013年；Zbl 1437.68109）
全文： 内政部 链接
吴成成;赵永新;朱慧彪

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

Wolff，Burkhart（编辑）等人，《统一编程理论》。2012年8月27日至28日，第四届国际研讨会，UTP 2012，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。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 1390.68167号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，394-411（2013）。
MSC公司：68甲15 第68季度10 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhu}等人，Lect。注释计算。科学。8051、394--411（2013；Zbl 1390.68167）
全文： 内政部
科尔斯汀·鲍尔;克劳斯·施耐德

从同步程序到混合系统的符号表示。 （英语） Zbl 1361.68057号

第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。41-50 (2010).
MSC公司：68号30 68甲15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bauer}和\textit{K.Schneider}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。41-50（2010年；Zbl 1361.68057）
全文： 内政部
威廉·鲍尔·德·罗弗;杰拉尔德·吕特根;迈克尔·门德勒

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

Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲义6200370-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｝，电子。注释Theor。计算。科学。242，第1、3--17号（2009年；Zbl 1291.68275）
全文： 内政部
安德烈亚·科拉迪尼;卢西亚娜·福斯;莱拉·里贝罗

交互式系统规范的依赖图转换。 （英语） Zbl 1253.68192号

Corradini，Andrea（编辑）等人，代数发展技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。《计算机科学讲义》5486102-118（2009）。
MSC公司：2012年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。5486、102--118（2009年；Zbl 1253.68192）
全文： 内政部
克里斯蒂安·普里萨卡里奥;杰拉尔多·施奈德

\（mathcal{CL}）：一种基于操作的逻辑，用于合同推理。 （英语） Zbl 1246.68214号

Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21-24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，335-349（2009）。
MSC公司：68T27型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Prisacariu}和\textit{G.Schneider}，莱克特。注释计算。科学。5514、335--349（2009年；Zbl 1246.68214）
全文： 内政部
若泽·普罗恩萨;克拉克、戴夫

比较了Orc和Reo的协调模型。 （英语） 兹比尔1277.68201

Carlos Canal（编辑）等人，第六届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2007），葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第4期，57-76（2008）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Proença}和\textit{D.Clarke}，电子。注释Theor。计算。科学。194，第4号，57--76（2008；Zbl 1277.68201）
全文： 内政部
詹斯·勃兰特;Schneider，Klaus公司

因果关系分析的形式推理。 （英语） Zbl 1165.68453号

Mohamed，Otmane-Ait（编辑）等人，高阶逻辑中的定理证明。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71065-3/pbk）。计算机科学课堂讲稿5170118-133（2008）。
MSC公司：68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Brandt}和\textit{K.Schneider}，莱克特。注释计算。科学。5170、118--133（2008年；Zbl 1165.68453）
全文： 内政部
马西莫·梅罗

移动自组网的观测理论。 （英语） 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}，电子。注释Theor。计算。科学。173275--293（2007年；Zbl 1316.68099）
全文： 内政部
OA许可证
罗伯特·阿马迪奥（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}等人，《电子》。注释Theor。计算。科学。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格式引用
\文本｛D.Krob｝，Lect。注释计算。科学。4229，1--22（2006；Zbl 1225.68080）
全文： 内政部
亚尼克·勒穆莱克;Jean-Philippe Diguet;内德·本·阿莫尔;蒂埃里·古尔德;Jean-Luc菲利普

使用Design Trotter实现嵌入式多媒体应用程序的算法级规范和特性描述。 （英语） Zbl 1138.68653号

超大规模集成电路信号处理。系统。信号图像视频技术。 42，第2期，185-208（2006）.
MSC公司：68单位99
PDF格式BibTeX公司 XML格式引用
\textit{Y.Le Moullec}等人，J.VLSI信号处理。系统。信号图像视频技术。42，第2号，185--208（2006；Zbl 1138.68653）
全文： 内政部 链接
劳伦特·阿尔迪蒂;杰拉德·贝里;迈克尔·基希内夫斯基

顺序优化的Esterel设计的后期设计变更（ECO）。 （英语） Zbl 1117.68302号

Hu，Alan J.（编辑）等，《计算机辅助设计中的形式化方法》。2004年11月15日至17日，第五届国际会议，FMCAD 2004，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23738-0/pbk）。计算机科学课堂讲稿3312，128-143（2004）。
MSC公司：2007年7月68日 68单位07 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Arditi}等人，Lect。注释计算。科学。33121228-143（2004年；兹bl 1117.68302）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件