×

找到23个文档（结果1–23）

最新 引文 关联
菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西

弦图重写理论。III： 与弗罗贝尼乌斯汇合或不与弗罗贝尼乌斯汇合。 （英语） Zbl 1506.68043号

数学。结构。计算。科学。 32，第7号，829-869（2022）.
MSC公司：第68季度第42季度 2005年5月18日 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，数学。结构。计算。科学。32，编号7829-869（2022；兹bl 1506.68043）
全文： 内政部 arXiv公司
菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西

弦图重写理论。二： 用对称单体结构重写。 （英语） Zbl 1506.68042号

数学。结构。计算。科学。 32，编号4，511-541（2022）.
MSC公司：第68季度第42季度 2005年5月18日 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，数学。结构。计算。科学。32，编号4，511--541（2022；Zbl 1506.68042）
全文： 内政部 arXiv公司
瑞科·赫克尔;安德里亚·科拉迪尼;法比奥·加杜奇

图形重写组件。 （英语） Zbl 1514.68091号

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 20-37 (2022).
MSC公司：第68季度第42季度 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}等人，Lect。注释计算。科学。13349，20--37（2022；Zbl 1514.68091）
全文： 内政部
保罗·巴尔丹;罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号

日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）.
审核人：克莱门特·奥伯特（奥古斯塔）
MSC公司：68问题85 18立方厘米50
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113）
全文： 内政部 arXiv公司
菲利波·邦奇;法比奥·加杜奇;基辛格，亚历克斯;巴布亚州索波辛斯基;法比奥·扎纳西

图形重写与接口的融合。 （英语） Zbl 1485.68124号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 141-169 (2017).
MSC公司：第68季度第42季度 18B50型 2005年5月18日
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。10201、141--169（2017；Zbl 1485.68124）
全文： 内政部 链接
保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利，贾科马五世。

异步跟踪和开放Petri网。 （英语） Zbl 1434.68320号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 86-102 (2015).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Lect。注释计算。科学。9465，86-102（2015；Zbl 1434.68320）
全文： 内政部
菲利波·邦奇;法比奥·加杜奇;蒙雷利，贾科玛·瓦伦蒂娜

移动环境的标签转换（通过图形编码合成）。 （英语） 兹比尔1291.68281

Hildebrandt，Thomas（编辑）等人，第15届并发表达性国际研讨会论文集（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，73-98（2009）。
MSC公司：68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，《电子》。注释Theor。计算。科学。242，编号1，73--98（2009；Zbl 1291.68281）
全文： 内政部
菲利波·邦奇;法比奥·加杜奇;蒙雷利，贾科玛·瓦伦蒂娜

反应系统、倒刺语义和移动环境。 （英语） Zbl 1234.68287号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。《计算机科学讲义》5504、272-287（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。5504272-287（2009年；Zbl 1234.68287）
全文： 内政部
法比奥·加杜奇;蒙雷利，贾科玛·瓦伦蒂娜

移动环境的分散实施。 （英语） Zbl 1175.68279号

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，115-130（2008）。
MSC公司：68问题85 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}和\textit{G.V.Monreale}，莱克特。注释计算。科学。5214、115-130（2008年；Zbl 1175.68279）
全文： 内政部
菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇

通过网络的行为等效实现web服务的组合规范：案例研究。 （英语） Zbl 1143.68474号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿506252-71（2008）。
MSC公司：68问题85 68M10个
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。5062、52--71（2008年；Zbl 1143.68474）
全文： 内政部 链接
菲利波·邦奇;巴斯米，玛丽亚·格拉齐亚;文森佐·西安西亚;法比奥·加杜奇

一类明确的融合。 （英语） 兹比尔1144.68038

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065544-562（2008）。
MSC公司：68问题55 18立方厘米 18层20
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。506544-562（2008年；Zbl 1144.68038）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件