×

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

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

将CCS转换为CSP，纠正强互模拟。 （英语） Zbl 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）
全文： 内政部 链接
克利夫·琼斯。（编辑）;贾亚德夫·米斯拉（编辑）

编程理论。托尼·霍尔的生活和作品。 （英语） Zbl 1473.68016号

ACM图书39.纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-8728-6/hbk；978-1-450.3-8729-3/pbk；968-1-4503-4731-6/电子书）。xx，429页。(2021).
审核人：哈伊姆·基洛夫（米林顿）
MSC公司：68-06 01A70号 68-03 68号30 68问题55 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{C.B.Jones（编辑）和textit{J.Misra}（编辑），编程理论。托尼·霍尔的生活和作品。纽约州纽约市：计算机协会（ACM）（2021；Zbl 1473.68016）
全文： 内政部
你好，托尼;乔治·斯特鲁斯;吉姆·伍德科克

空间、时间和因果关系的微积分：代数、几何、逻辑。 （英语） 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）
全文： 内政部 链接
Jan Friso，格鲁特;穆罕默德·雷扎·穆萨维

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

马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-02771-7/hbk；978-0-262/32102-0/电子书）。十六、376页。(2014).
审核人：Tiit Riismaa（塔林）
MSC公司：68-02 68M10个 68个M12 64岁以下 60年第68季度 68问题85 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}和\textit{M.R.Mousavi}，通信系统的建模和分析。马萨诸塞州剑桥：麻省理工学院出版社（2014；Zbl 1353.68006）
法尔科奥，弗拉维亚;朱利亚诺·伊奥达;奥古斯托·桑帕约

MSC中的多重同步。 （英语） Zbl 1347.68263号

Patricia D.L.Machado（编辑），第十一届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，149-166（2009）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Falcáo}等人，《电子》。注释Theor。计算。科学。240、149--166（2009年；Zbl 1347.68263）
全文： 内政部
你好，托尼;彼得·奥赫恩

用于通信进程的分离逻辑语义。 （英语） Zbl 1286.68352号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，3-25（2008）。
MSC公司：68问题85 68甲15 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}和\textit{P.O'Hearn}，电子。注释Theor。计算。科学。212、3--25（2008年；Zbl 1286.68352）
全文： 内政部
基耶，J.P。;J.西法基斯。

CESAR中并发系统的规范和验证。 （英语） Zbl 1142.68440号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。《计算机科学讲义》5000216-230（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Queille}和\text{J.Sifakis}，莱克特。注释计算。科学。5000216-230（2008年；Zbl 1142.68440）
全文： 内政部
马尔科姆·蒂雷尔;约瑟夫·莫里斯（Joseph M.Morris）。;安德鲁·巴特菲尔德;亚瑟·休斯

通信序列过程代数的格理论模型。 （英语） Zbl 1168.68439号

Barkaoui，Kamel（编辑）等人，《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会，突尼斯，突尼斯，2006年11月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48815-6/pbk）。计算机科学课堂讲稿4281123-137（2006）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Tyrrell}等人，Lect。注释计算。科学。4281、123--137（2006年；Zbl 1168.68439）
全文： 内政部
德波尔（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）
全文： 内政部
J·帕斯科。（编辑）;右装载机。（编辑）;V.桑德拉姆。（编辑）

2002年通信过程架构，WoTUG-25，英国雷丁，2002年9月15日至18日。 （英语） Zbl 1058.68054号

并发系统工程系列60.阿姆斯特丹：IOS出版社（ISBN 1-58603-268-2/pbk）。第396页。(2002).
MSC公司：2010年第68季度 68-06 68米99
PDF格式BibTeX公司 XML格式引用
\textit{J.Pascoe}（ed.）等人，《2002年通信过程体系结构》，WoTUG-25，英国雷丁，2002年9月15-18日。阿姆斯特丹：IOS出版社（2002；Zbl 1058.68054）
查默斯，艾伦（编辑）;Mirmehdi，马吉德（编辑）;亨克·穆勒（编辑）

通信过程架构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）
乔纳森·伯顿;马西耶·库特尼;朱塞佩·帕帕拉尔多

验证实现关系。 （英语） Zbl 0977.68786号

Oliveira，JoséNuno（编辑）等，FME 2001：提高软件生产率的形式化方法。欧洲正式方法国际研讨会，德国柏林，2001年3月12日至16日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2021, 364-383 (2001).
MSC公司：68单位99 68问题65
PDF格式BibTeX公司 XML格式引用
\textit｛J.Burton｝等人，Lect。注释计算。科学。2021年，364--383（2001年；Zbl 0977.68786）
全文： 链接
安德鲁·辛普森;吉姆·戴维斯;吉姆·伍德科克

通过\（Z\）和CSP进行安全管理。 （英语） Zbl 0924.68139号

吉姆·格兰迪（编辑）等人，《国际精炼研讨会和正式方法太平洋1998》。98年IRW/FMP会议记录。澳大利亚堪培拉，1998年9月29日至10月2日。柏林：斯普林格。离散数学和理论计算机科学的Springer系列。334-351 (1998).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Simpson}等人，in：国际精炼研讨会和正式方法太平洋1998。98年IRW/FMP会议记录。澳大利亚堪培拉，1998年9月29日至10月2日。柏林：斯普林格。334--351（1998年；Zbl 0924.68139）
玛尔塔·奎亚特科夫斯卡;格钦·诺曼

反应概率过程的完全抽象度量空间指称语义。 （英语） Zbl 0917.68137号

Edalat，Abbas（编辑）等人，《妥协III》，第三次计算和近似研讨会。英国伯明翰，1997年9月11日至13日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。13，电子文件第14号（1997年）。
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}和\textit{G.Norman}，摘自：Compox III.第三次计算和近似研讨会。英国伯明翰，1997年9月11-13日。阿姆斯特丹：爱思唯尔。第14号电子文件（1997；Zbl 0917.68137）
全文： 链接
C.A.R.霍尔。
C.B.琼斯。（编辑）

计算科学论文。 （英语） Zbl 0656.68007号

普伦蒂斯·霍尔计算机科学国际系列。纽约等地：普伦蒂斯·霍尔。十二、 412页；$58.95 (1989).
审核人：H.Müller先生
MSC公司：68-06 00亿Bxx 01A75号 60年第68季度 68号01 68页第10页 68-02
PDF格式BibTeX公司 XML格式引用
\textit{C.A.R.Hoare}和\textit{C.B.Jones}（编辑），计算科学论文。纽约等：普伦蒂斯·霍尔（1989；Zbl 0656.68007）
白塞州萨里卡亚（编辑）;格雷戈·波希曼。（编辑）

协议规范、测试和验证，VI。1986年6月10日至13日，加拿大魁北克省蒙特利尔市康考迪亚大学和蒙特勒大学组织的IFIP WG 6.1第六届协议规范、试验和验证国际研讨会会议记录。 （英语） Zbl 0606.68002号

阿姆斯特丹等地：荷兰北部。十二、 427页76.00美元；英国国防部。190.00 (1987).
审核人：J.W.Grzymala-Busse公司
MSC公司：68-06 00B25型
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件