×

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

最新的 引文 关联
大卫·哈雷;阿米尔·坎特;沙哈尔·茂兹

关于基于场景的节目的播放能力。 （英语） Zbl 1274.68059号

Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学讲义5930207-220（2010）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，Lect。注释计算。科学。5930207--220（2010年；Zbl 1274.68059）
全文： DOI程序
大卫·哈雷;雅基·塞蒂;索尔·埃夫罗尼;娜玛·斯威德林;科恩（Irun R.Cohen）。

生物建模的并发性：行为、执行和可视化。 （英语） Zbl 1279.68260号

尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，119-131（2008）。
MSC公司：68问题85 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，《电子》。注释Theor。计算。科学。194，第3号，119--131（2008；Zbl 1279.68260）
全文： DOI程序
大卫·哈雷;沙哈尔·茂兹;意大利塞格尔

关于LSC表达能力和复杂性的一些结果。 （英语） Zbl 1133.68375号

Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，351-366（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，Lect。注释计算。科学。4800、351--366（2008年；Zbl 1133.68375）
全文： DOI程序
大卫·哈雷;伊莱·辛格曼

计算路径逻辑：一种表达性的但基本的过程逻辑。 （英语） Zbl 0931.03044号

Ann.纯粹应用。逻辑 96，第1-3号，167-186（1999）.
审核人：瓦伦丁·F·戈兰科（约翰内斯堡）
MSC公司：03B70号 60年第68季度 68问题85 03B25号 2015年3月1日 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}和\textit{E.Singerman}，Ann.Pure Appl。逻辑96，No.1--3，167--186（1999；Zbl 0931.03044）
全文： DOI程序
大卫·哈雷;奥尔纳·库普弗曼;莫舍·瓦尔迪。

关于验证并发转换系统的复杂性。 （英语） Zbl 1512.68155号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 258-272 (1997).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，Lect。注释计算。科学。1243、258--272（1997；Zbl 1512.68155）
全文： DOI程序
大卫·哈雷;伊莱·辛格曼

计算路径逻辑：一种表达性的但基本的过程逻辑。 （英语） Zbl 1401.03058号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256408-418（1997）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}和\textit{E.Singerman}，莱克特。注释计算。科学。1256408-418（1997年；Zbl 1401.03058）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件