×

找到430个文档（结果1–100）

最新的 引文 关联
杰拉尔德·埃肯贝·恩贡迪;瓦西里欧斯·库塔瓦斯;安德鲁·巴特菲尔德

将CCS转换为CSP，纠正强互模拟。 （英语） 兹比尔1522.68368

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 243-261 (2021).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Ngondi}等人，莱克特。注释计算。科学。13085，243--261（2021；Zbl 1522.68368）
全文： 内政部 链接
马赫萨·瓦尔肖萨兹;穆罕默德·雷扎·穆萨维

通信系统和1-选择模态转换系统的产品线演算的比较表达。 （英语） Zbl 1444.68126号

巴巴拉·卡塔尼亚（编辑）等人，《2019年SOFSEM：计算机科学的理论与实践》。第45届计算机科学理论与实践当前趋势国际会议，2019年1月27日至30日，斯洛伐克，11月斯莫科维奇。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11376, 490-503 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Varshosaz}和\textit{M.R.Mousavi}，莱克特。注释计算。科学。11376、490--503（2019年；Zbl 1444.68126）
全文： 内政部 链接
你好，托尼;乔治·斯特鲁斯;吉姆·伍德科克

空间、时间和因果关系的微积分：代数、几何、逻辑。 （英语） Zbl 07168631号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11885, 3-21 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}等人，Lect。注释计算。科学。11885，3--21（2019；Zbl 07168631）
全文： 内政部 链接
斯特凡诺·德尔·维奇奥;维吉尔·莫比尔

将CCS解释为ludics。 （英语） Zbl 1433.68247号

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 97-114 (2018).
MSC公司：68问题85 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{S.Del Vecchio}和\textit{V.Mogbil}，电子。注释Theor。计算。科学。33897--114（2018；Zbl 1433.68247）
全文： 内政部
詹乃军;王淑玲;赵恒军

Simulink/Stateflow图的正式验证。演绎法。 （英语） Zbl 1412.68006号

查姆：施普林格（ISBN 978-3-319-47014-6/hbk；978-3-316-47016-0/电子书）。第十五章，258页。(2017).
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：68-02 68号30 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Simulink/Stateflow图的形式验证。演绎法。商会：施普林格（2017；兹比尔1412.68006）
全文： 内政部
拉卢卡左翼;马西亚斯·拉莫斯（Macías-Ramos），路易斯·弗雷德里克斯（Luis F。;尼古列斯库，伊奥努ţMihai;劳伦·米尔勒

使用FLAME对带除法规则的内核P系统进行基于Agent的仿真。 （英语） Zbl 1483.68123号

Leporati，Alberto（编辑）等人，《膜计算》。2016年7月25日至29日，第17届国际会议，CMC 2016，意大利米兰。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10105, 286-306 (2017).
MSC公司：2007年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Lefticaru｝等人，Lect。注释计算。科学。10105286--306（2017；Zbl 1483.68123）
全文： 内政部
斯特凡·D·布鲁达。;玛丽·莎拉·鲁斯威尔金

无上下文并行通信语法系统覆盖树的局限性，以及为什么这些语法系统不是线性空间。 （英语） Zbl 1376.68078号

并行过程。莱特。 26，第3号，文章ID 1650012，14 p.（2016）.
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.D.Bruda}和\textit{M.S.R.Wilkin}，并行过程。莱特。26，第3号，文章ID 1650012，14 p.（2016；Zbl 1376.68078）
全文： 内政部
威尔金、玛丽·莎拉·鲁思;斯特凡·D·布鲁达。

对于任何通信模型，具有无上下文组件的并行通信语法系统都是图灵完备的。 （英语） Zbl 1404.68064号

Sapientiae大学学报。 8，第2期，113-170（2016）.
MSC公司：2012年第68季度 2010年第68季度 2015年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.S.R.Wilkin}和\textit{S.D.Bruda}，Acta Univ.Sapientiae，Inform。8，第2号，113--170（2016；Zbl 1404.68064）
全文： 内政部
罗伯托·戈里埃里;克里斯蒂安·维萨里

并发理论简介。过渡系统和CCS。 （英语） Zbl 1333.68001号

理论计算机科学课文。EATCS系列查姆：施普林格（ISBN 978-3-319-21490-0/hbk；978-3-3169-21491-7/电子书）。xi，第334页。(2015).
审核人：佩德罗·桑切斯·特拉夫（科尔多瓦）
MSC公司：68-01 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Gorrieri}和\textit{C.Versari}，并发理论简介。过渡系统和CCS。查姆：斯普林格（2015；Zbl 1333.68001）
全文： 内政部
Jan Friso，格鲁特;穆罕默德·雷扎·穆萨维

通信系统的建模和分析。 （英语） Zbl 1353.68006号

马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-02771-7/hbk；978-0-262-32102-0/ebook）。十六、376页。(2014).
审核人：Tiit Riismaa（塔林）
MSC公司：68-02 68M10个 68个M12 64岁以下 第68季度第60季度 68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{M.R.Mousavi}，通信系统的建模和分析。马萨诸塞州剑桥：麻省理工学院出版社（2014；兹bl 1353.68006）
莉莉亚娜·科乔卡鲁;埃尔基·梅基宁

在并行通信语法系统的Silard语言中搜索通信痕迹-复杂性视图。 （英语） Zbl 1388.68153号

Jürgensen，Helmut（ed.）等人，形式系统的描述复杂性。2013年7月22日至25日在加拿大安大略省伦敦举行的2013年DCFS第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39309-9/pbk）。计算机科学课堂讲稿8031，42-53（2013）。
MSC公司：2012年第68季度 2005年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Cojocaru}和\textit{E.Mäkinen}，莱克特。注释计算。科学。8031，42-53（2013；Zbl 1388.68153）
全文： 内政部
理查德·辛诺特。;迪特尔·霍格利夫

基于有限状态机：SDL。重印2001年精装版。 （英语） Zbl 1255.68055号

Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。55-76 (2010).
MSC公司：68号30 68甲15 64岁以下 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.O.Sinnott}和\textit{D.Hogrefe}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。55-76（2010年；Zbl 1255.68055）
Shyamasundar，R.K。;拉梅什，S。

实时编程。语言、规范和验证。 （英语） Zbl 1204.68049号

新泽西州哈肯萨克：世界科学（ISBN 978-981-02-2566-7/hbk；978-981-2 8-1402-9/电子书）。十五、245页。(2010).
审核人：斯特凡·梅耶（柏林）
MSC公司：68甲15 68-02 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.K.Shyamasundar}和\textit{S.Rameesh}，实时编程。语言、规范和验证。新泽西州哈肯萨克：《世界科学》（2010；Zbl 1204.68049）
全文： 链接
达纳州帕尔杜布斯卡;马丁·普拉特克;弗里德里希·奥托

具有规则控制的并行通信语法系统。 （英语） Zbl 1256.68092号

Bozapalidis，Symeon（编辑）等，代数信息学。第三届国际会议，2009年CAI，希腊塞萨洛尼基，2009年5月19-22日，会议记录。柏林：施普林格出版社（ISBN 978-3-642-03563-0/pbk）。计算机科学课堂讲稿5725342-360（2009）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Pardubská}等人，Lect。注释计算。科学。5725342--360（2009年；Zbl 1256.68092）
全文： 内政部
桑吉瓦·普拉萨德

抽象交换机：通信和计算的分布式模型。 （英语） 兹比尔1193.68176

Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。385-407（2009年）。
MSC公司：68问题85 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Prasad}，in：并发视角。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。385--407（2009年；Zbl 1193.68176）
安基特·戈尔;阿比克·罗伊乔杜里

从捕获基于状态和基于MSC的符号的集成系统模型生成测试。 （英语） Zbl 1194.68101号

Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。184-207 (2009).
MSC公司：68纳米99
PDF格式BibTeX公司 XML格式引用
\textit{A.Goel}和\textit{A.Roychoudhury}，in：并发视角。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。184-207（2009；Zbl 1194.68101）
保罗·加斯丁;马达瓦恩·穆昆德;K.Narayan Kumar

时间约束MSC图中的可达性和有界性。 （英语） 兹比尔1193.68048

Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。157-183 (2009).
MSC公司：64岁以下 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.Gastin}等人，in：并发视角。为P.S.Thiagarajan举办的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。157-183（2009年；Zbl 1193.68048）
曼努埃尔·Fähndrich;Rajamani，Sriram K。;雅各布·雷霍夫

动态配置通信网络中的静态死锁预防。 （英语） Zbl 1193.68161号

Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。128-156 (2009).
MSC公司：第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Fähndrich}等人，in：并发视角。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。128-156（2009年；Zbl 1193.68161）
克里斯特尔·拜尔;Joost-Pieter卡托恩
[拉森，金·古尔德斯特朗]

模型检查原则。金·古德斯特兰·拉森（Kim Guldstrand Larsen）的前言。 （英语） Zbl 1179.68076号

马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-02649-9/hbk）。十七、975页。(2008).
MSC公司：第68季度第60季度 68-01 68-02 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}和\textit{J.-P.Katoen}，模型检查原理。金·古尔德斯特朗·拉森的前言。马萨诸塞州剑桥：麻省理工学院出版社（2008；Zbl 1179.68076）
文森特·达诺斯;吉恩·克里文;巴布亚州索波辛斯基

一般可逆性。 （英语） Zbl 1277.68175号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，75-86页（2007年）。
MSC公司：68问题85 18A32飞机 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Danos}等人，《电子》。注释Theor。计算。科学。175，编号3，75-86（2007年；兹bl 1277.68175）
全文： 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯

反应语义的主动评估上下文。 （英语） Zbl 1277.68127号

van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，57-70（2007）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Pilegaard}等人，《电子》。注释Theor。计算。科学。175，第1号，57--70（2007；Zbl 1277.68127）
全文： 内政部
普拉卡什·钱德拉塞卡兰;马达瓦恩·穆昆德

为场景增加时间。 （英语） Zbl 1189.93014号

Ramesh，S.（编辑）等人，分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会会议记录，印度班加罗尔，2007年1月。多德雷赫特：施普林格（ISBN 978-1-4020-6253-7/hbk）。83-97 (2007).
MSC公司：93A30型 93立方厘米70
PDF格式BibTeX公司 XML格式引用
\textit{P.Chandrasekaran}和\textit{M.Mukund}，in：分布式嵌入式控制系统的下一代设计和验证方法。通用汽车研发研讨会论文集，印度班加罗尔，2007年1月。多德雷赫特：施普林格。83-97（2007年；Zbl 1189.93014）
全文： 内政部
圣菲拉福顿

部分观测离散事件系统的分散和分布式控制。 （英语） Zbl 1118.93336号

Bonivento，Claudio（编辑）等人，《控制理论与应用进展》。根据2006年5月22日至26日在意大利贝蒂诺罗举行的会议上的发言选出的论文。柏林：施普林格出版社（ISBN 978-3-540-70700-4/pbk）。控制与信息科学课堂讲稿353171-184（2007）。
MSC公司：93元65角 93甲14 93个B07 90B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Lafortune}，莱克特。票据控制信息科学。353171--184（2007年；Zbl 1118.93336）
迈克尔·穆斯库卢斯;丹尼尔·贝索齐;罗伯特·布里德;保罗·卡扎尼加;桑恩霍韦灵;达里奥·佩西尼;格列泽戈兹·罗森贝格

膜系统和分子动力学中的循环和通讯类。 （英语） Zbl 1111.68042号

西奥。计算。科学。 372，编号2-3，242-266（2007）.
MSC公司：2010年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Muskulus}等人，Theor。计算。科学。372，编号2--3，242--266（2007；Zbl 1111.68042）
全文： 内政部
马哈德万·苏布拉马尼亚姆;佐尔坦·帕普

分析协议更改对测试的影响。 （英语） Zbl 1185.68098号

Uyar，M.U mit（编辑）等人，《通信系统测试》。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，美国纽约，2006年5月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34184-6/pbk）。计算机科学课堂讲稿3964，197-212（2006）。
MSC公司：68米15 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{M.Subramaniam}和\textit{Z.Pap}，Lect。注释计算。科学。3964、197--212（2006年；Zbl 1185.68098）
全文： 内政部
德波尔（Frank S。;维基·德弗里斯;约翰·朱尔斯·迈耶。;罗杰尔·范·艾克（Rogier M.van Eijk）。;范德霍克，威比

MAS中建模交互的过程代数和约束编程。 （英语） Zbl 1085.68100号

申请。代数工程通讯。计算。 16，编号2-3，113-150（2005）.
MSC公司：68问题85 68T01型
PDF格式BibTeX公司 XML格式引用
\textit{F.S.de Boer}等人，应用。代数工程通讯。计算。16，第2--3113-150号（2005；Zbl 1085.68100）
全文： 内政部
A.F.唐纳森。;A.米勒。

使用计算群论进行模型检查的自动对称性检测。 （英语） Zbl 1120.68414号

Fitzgerald，John（编辑）等人，FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿3582481-496（2005）。
MSC公司：第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.F.唐纳森}和\textit{A.Miller}，莱克特。注释计算。科学。3582481--496（2005年；Zbl 1120.68414）
全文： 内政部
迪特尔·霍格利夫（编辑）;安东尼·怀尔斯（编辑）

通信系统测试。2003年5月26日至28日，法国索菲亚·安蒂波利斯，第15届国际知识产权联合会国际会议，TestCom 2003。诉讼程序。 （英语） Zbl 1019.68697号

计算机科学课堂讲稿. 2644. 柏林：斯普林格。xii，310页（2003年）。
MSC公司：68单位99 68-06 68M10个
PDF格式BibTeX公司 XML格式引用
\textit{D.Hogrefe}（编辑）和\textit{A.Wiles}（编），通信系统测试。2003年5月26日至28日，法国索菲亚·安蒂波利斯，第15届国际知识产权联合会国际会议，TestCom 2003。诉讼程序。柏林：施普林格出版社（2003；Zbl 1019.68697）
全文： 内政部 链接
克里斯·巴雷特;亨特，哈里·B·III;马达夫·马拉特。;拉维，S.S。;丹尼尔·罗森克兰茨。;理查德·斯特恩斯（Richard E.Stearns）。

具有阈值函数的序列动力学系统的可达性问题。 （英语） Zbl 1045.68062号

西奥。计算。科学。 295，编号1-3，41-64（2003）.
MSC公司：2010年第68季度 2017年第68季度 68克80
PDF格式BibTeX公司 XML格式引用
\textit｛C.Barrett｝等人，Theor。计算。科学。295，编号1--3，41-64（2003；Zbl 1045.68062）
全文： 内政部
乔纳森·博文（编辑）;玛丽亚·莫拉莱斯。（编辑）;康拉德·波尔蒂尔（编辑）;JoséF·罗德里格斯。（编辑）

用于交流数学的多媒体工具。根据2000年11月在葡萄牙里斯本举行的国际研讨会。带CD-ROM。 （英语） 1083.00005赞比亚比索

数学与可视化柏林：施普林格出版社（ISBN 3-540-42450-4/hbk）。viii，第314页。(2002).
MSC公司：00A35型 00B25型 68单位35 68-06 97单位 97 u80
PDF格式BibTeX公司 XML格式引用
\textit｛J.Borwein｝（编辑）等人，用于交流数学的多媒体工具。根据2000年11月在葡萄牙里斯本举行的国际研讨会。带CD-ROM。柏林：施普林格（2002；Zbl 1083.00005）
艾伦·查尔默斯（编辑）;马吉德·米尔梅赫迪（编辑）;亨克·穆勒（编辑）

通信过程架构2001。WoTUG-24，第24届世界occam和transputer用户组技术会议记录，英国布里斯托尔，2001年9月16-19日。 （英语） Zbl 1047.68018号

并发系统工程系列59.阿姆斯特丹：IOS出版社；东京：Ohmsha（ISBN 1-58603-202-X/pbk；4-274-90467-9/pbk）。viii，第351页。(2001).
MSC公司：64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{A.Chalmers}（ed.）等人，《通信过程体系结构2001》。WoTUG-24，第24届世界occam和transputer用户组技术会议记录，英国布里斯托尔，2001年9月16-19日。阿姆斯特丹：IOS出版社；东京：Ohmsha（2001；Zbl 1047.68018）
埃兹贝特·苏哈伊·瓦尔朱

无上下文返回并行通信语法系统的大小复杂性。 （英语） 兹比尔1007.68089

Martín-Vide，Carlos（编辑）等人，《数学、计算机科学、语言学和生物学在哪里相遇》。为纪念盖奥盖·佩恩而写的论文。多德雷赫特：Kluwer学术出版社。37-49 (2001).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Csuhaj-Varjü}，in：数学、计算机科学、语言学和生物学的交汇之处。为纪念盖奥盖·佩恩而写的论文。多德雷赫特：Kluwer学术出版社。37-49（2001年；Zbl 1007.68089）
卡德，莫菲;爱丽丝·米勒

使用SPIN进行特征交互分析–案例研究。 （英语） Zbl 0985.68665号

马修·德怀尔（编辑），《模型检查软件》。第八届国际SPIN研讨会，加拿大多伦多，2001年5月19日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2057, 143-162 (2001).
MSC公司：68单位99 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Calder}和\textit{A.Miller}，莱克特。注释计算。科学。2057，143--162（2001；Zbl 0985.68665）
全文： 链接
曼弗雷德·布罗伊;凯蒂尔·斯特伦

交互式系统的规范和开发。关注流、接口和优化。 （英语） Zbl 0981.68115号

计算机科学专著。纽约州纽约市：斯普林格。xv，348页（2001年）。
审核人：科斯蒂克·莫罗沙努（Iaši）
MSC公司：68问题85 68-02 03B44号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.Broy}和\textit{K.Sölen}，交互系统的规范和开发。关注流、接口和优化。纽约州纽约市：施普林格（2001；Zbl 0981.68115）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件