×

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

最新的 引文 关联
休伯特·加拉维

嵌套单位Petri网：一种提高基本网验证效率和可扩展性的结构化方法。 （英文） Zbl 1432.68306号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。勒克特。注释计算。科学。9115, 179-199 (2015).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}，莱克特。注释计算。科学。9115、179--199（2015；Zbl 1432.68306）
全文： 内政部 哈尔
何朝东

CCS\（^{！}\）可达性问题的可判定性。 （英文） Zbl 1343.68169号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901373-388（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。6901373--388（2011年；Zbl 1343.68169）
全文： 内政部
杰苏斯·阿兰达;巴伦西亚，弗兰克·D。;克里斯蒂安·维萨里

关于CCS中限制和优先权的表达能力以及复制。 （英文） Zbl 1234.68284号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504，242-256（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Aranda}等人，Lect。注释计算。科学。5504242-256（2009年；Zbl 1234.68284）
全文： 内政部
塔里克·萨达尼;马克·博伊尔;皮埃尔·德·萨奎·桑奈斯;Jean-Pierre科蒂亚特

RT-LOTOS项的有限时间Petri网有效表示。 （英文） Zbl 1225.68047号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229404-419（2006）。
MSC公司：64岁以下 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Sadani}等人，Lect。注释计算。科学。4229404--419（2006年；Zbl 1225.68047）
全文： 内政部
阿伦·程;尼尔森，莫根斯

开放映射、行为等价和同余。 （英文） Zbl 1508.68209号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，1996年4月22日至24日，瑞典林雪平。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。1059, 257-271 (1996).
MSC公司：68问题55 18秒20 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Cheng}和\textit{M.Nielsen}，莱克特。注释计算。科学。1059257--271（1996年；Zbl 1508.68209）
全文： 内政部
金·苏内森;尼尔森，莫根斯

无限系统的行为等效性-部分可判定！ （英文） Zbl 1418.68154号

Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1091, 460-479 (1996).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛K.Sunesen｝和\textit｛M.Nielsen｝，Lect。注释计算。科学。1091460--479（1996年；Zbl 1418.68154）
全文： 内政部
吐温·巴斯滕;马克·沃霍夫

层次P/T网的代数语义。 （英文） Zbl 1496.68214号

De Michelis，Giorgio（编辑）等人，Petri网的应用和理论，1995年。第十六届国际会议，1995年6月26日至30日，意大利都灵。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。935，45-65页（1995年）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Basten}和\textit{M.Voorhoeve}，莱克特。注释计算。科学。935、45-65（1995年；Zbl 1496.68214）
全文： 内政部 链接
最好的，艾克;马西耶·库特尼

求解递归网络方程。 （英文） Zbl 1412.68147号

Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。944, 605-623 (1995).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}和\textit{M.Koutny}，莱克特。注释计算。科学。944、605--623（1995年；Zbl 1412.68147）
全文： 内政部
最好的，艾克;Linde-Göers，Hans-Günther

Petri盒的合成过程语义。 （英文） Zbl 1509.68182号

Brookes，Stephen（ed.）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。802, 250-270 (1994).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}和\textit{H.-G.Linde-Göers}，莱克特。注释计算。科学。802、250-270（1994年；Zbl 1509.68182）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件