×

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

最新的 引文 关联
纳塔利亚·格里博夫斯卡娅;伊琳娜Virbitskaite

因果相关可逆素事件结构的比较过渡系统语义。 （英语） Zbl 07828944号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386112-26（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛N.Gribovskaya｝和\textit｛I.Virbitskaite｝，电子。程序。西奥。计算。科学。（EPTCS）386112--126（2023；Zbl 07828944）
全文： 内政部 arXiv公司
罗伯特·格莱克;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;亚洛斯·阿·亚当·米兹扎克;伊恩·菲利普斯;伊雷克·乌利多夫斯基;德国维达尔

朝向可逆计算方法的分类。 （英语） Zbl 07786593号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 24-39 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\文本{R.Glück}等人，Lect。注释计算。科学。13960，24-39（2023；Zbl 07786593）
全文： 内政部
罗布·范格拉贝克

只是测试。 （英语） Zbl 07770352号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 498-519 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，莱克特。注释计算。科学。13992、498--519（2023；Zbl 07770352）
全文： 内政部 arXiv公司
OA许可证
安娜·菲利普;基里亚基·帕萨拉

在单个令牌解释下反转Petri网中的令牌多重性。 （英语） Zbl 1532.68056号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368131-150（2022）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛A.Philippou｝和\textit｛K.Psara｝，Electron。程序。西奥。计算。科学。（EPTCS）368131-150（2022年；Zbl 1532.68056）
全文： arXiv公司 链接
卡米拉·巴里尔斯卡;安娜·果戈林斯卡;乌卡斯·米库尔斯基;安娜·菲利普;马钦·皮亚特科夫斯基;基里亚基·帕萨拉

从反向Petri网到有色Petri网的形式化翻译。 （英语） Zbl 07615949号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 172-186 (2022).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{K.Barylska}等人，Lect。注释计算。科学。13354、172--186（2022；Zbl 07615949）
全文： 内政部 arXiv公司
劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁，Shoji

可逆时间过程语言。 （英语） Zbl 1499.68220号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 31-49 (2022).
MSC公司：第68季度85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{L.Bocchi}等人，Lect。注释计算。科学。13273，31-49（2022；Zbl 1499.68220）
全文： 内政部 哈尔
索菲·沃纳;卡斯滕·沃尔夫

通用时间属性的骨架抽象。 （英语） Zbl 1490.68142号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 186-207 (2021).
MSC公司：第68季度85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Wallner}和\textit{K.Wolf}，莱克特。注释计算。科学。12734186-207（2021年；兹比尔1490.68142）
全文： 内政部 arXiv公司
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna

实现可逆CCS的真正并发语义。 （英语） Zbl 07419486号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 109-125 (2021).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，Lect。注释计算。科学。12805、109-125（2021；Zbl 07419486）
全文： 内政部 arXiv公司 哈尔
马可·贝尔纳多;克劳迪奥·安塔雷斯·梅齐纳

走向桥接时间和因果可逆性。 （英语） Zbl 1511.68179号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 22-38 (2020).
MSC公司：第68季度85 60J28型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}和\textit{C.A.Mezzina}，莱克特。注释计算。科学。12136，22-38（2020；Zbl 1511.68179）
全文： 内政部
里扎德·贾尼基

关于抑制器和激活器网络的区间语义。 （英语） Zbl 1532.68045号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 192-212 (2019).
MSC公司：第68季度85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Janicki}，莱克特。注释计算。科学。11522192-212（2019年；Zbl 1532.68045）
全文： 内政部
乔瓦尼·卡苏;G.Michele Pinna

合并关系：一种统一压缩Petri网行为的方法。 （英语） Zbl 1485.68157号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 325-337 (2017).
MSC公司：第68季度85 68第05页 68页30
PDF格式BibTeX公司 XML格式引用
\textit{G.Casu}和\textit{G.M.Pinna}，莱克特。注释计算。科学。10168，325--337（2017；Zbl 1485.68157）
全文： 内政部 链接
最好的，艾克;纳塔利亚·格里博夫斯卡娅;伊琳娜Virbitskaite

非对称冲突事件结构的基于配置和残差的转换系统。 （英语） Zbl 1444.68113号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 132-146 (2017).
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}等人，Lect。注释计算。科学。10139，132--146（2017；Zbl 1444.68113）
全文： 内政部
维杰·德·席尔瓦;丹尼尔·克罗宁;马塞洛·索萨

独立抽象和并发模型。 （英语） Zbl 1484.68140号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 151-168 (2017).
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛V.D’Silva｝等人，Lect。注释计算。科学。10145，151--168（2017；Zbl 1484.68140）
全文： 内政部
毛里西奥·托罗;安娜·菲利普;赛尔阿博莱达;玛丽亚·普埃尔塔;Vélez S.、Carlos M。

空间显式生态模型过程演算的平均场语义。 （英语） Zbl 1480.92232号

Muñoz，César A.（编辑）等人，第十一届计算模型发展国际研讨会论文集，DCM 2015，哥伦比亚卡利，2015年10月28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）204、79-94（2016）。
MSC公司：92D40型 68问题55 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Toro}等人，《电子》。程序。西奥。计算。科学。（EPTCS）204，79--94（2016；Zbl 1480.92232）
全文： arXiv公司 链接
码头Kleijn;马西耶·库特尼;Marta Pietkiewicz-Koutny

具有全局操作和局部性的Petri网的合成。 （英语） Zbl 1422.68171号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 103-120 (2016).
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛J.Kleijn｝等人，Lect。注释计算。科学。9965103--120（2016年；兹比尔1422.68171）
全文： 内政部 链接
瑟伦·德博伊斯;托马斯·希尔德布兰特;斯莱亚特，蒂杰斯

具有动态子进程的模块化进程软件信息系统的安全性、活性和运行时优化。 （英语） Zbl 1427.68188号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 143-160 (2015).
MSC公司：第68季度85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Debois｝等人，Lect。注释计算。科学。91091143-160（2015年；兹bl 1427.68188）
全文： 内政部
马西莫·巴托莱蒂;蒂齐亚娜·西莫利;罗伯托·祖尼诺

行为合同的合规性：简要调查。 （英语） Zbl 1434.68045号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 103-121 (2015).
MSC公司：64岁以下 65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\文本{M.Bartoletti}等人，Lect。注释计算。科学。9465，103-121（2015；Zbl 1434.68045）
全文： 内政部
马西莫·巴托莱蒂;皮耶保罗·德加诺;保罗·迪詹贝尔蒂诺;罗伯托·祖尼诺

Petri网和线性逻辑中的借方和贷方。 （英语） Zbl 1321.68356号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，135-159（2015）。
MSC公司：第68季度85 03B70号 03楼52
PDF格式BibTeX公司 XML格式引用
\文本{M.Bartoletti}等人，Lect。注释计算。科学。9200、135——159（2015年；Zbl 1321.68356）
全文： 内政部 链接
托马斯·查泰恩;斯特凡·哈尔;马西耶·库特尼;斯特凡·施温

上下文网络中的非原子转换触发。 （英语） Zbl 1432.68302号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 117-136 (2015).
MSC公司：第68季度85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Chatain}等人，Lect。注释计算。科学。9115、117--136（2015；Zbl 1432.68302）
全文： 内政部 链接
穆罕默德·阿尔加尼;里扎德·贾尼基

带约束弧的Petri网的区间过程语义。 （英语） Zbl 1432.68298号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 77-97 (2015).
MSC公司：第68季度85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Alqarni}和\textit{R.Janicki}，莱克特。注释计算。科学。9115，77-97（2015；Zbl 1432.68298）
全文： 内政部
弗兰克·赫尔曼;安德烈亚·科拉迪尼;哈特穆特·埃里格

负应用条件下（mathcal{M}）-粘着变换系统的置换等价性分析。 （英语） Zbl 1342.68179号

数学。结构。计算。科学。 24，第4号，文章ID e240409，47页（2014）.
MSC公司：2012年第68季度 18B20型 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛F.Hermann｝等人，《数学》。结构。计算。科学。24，第4号，文章ID e240409，47页（2014；Zbl 1342.68179）
全文： 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基

过程和展开：粘合剂类别中的并发计算。 （英语） Zbl 1342.68223号

数学。结构。计算。科学。 24，第4号，文章ID e240402，51 p.（2014）.
MSC公司：第68季度85 18A35型 18A40型 18B20型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，数学。结构。计算。科学。24，第4号，文章ID e240402，51 p.（2014；Zbl 1342.68223）
全文： 内政部
大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利

自动分析服务合同。 （英语） Zbl 1444.68110号

Maffei，Matteo（编辑）等人，《值得信赖的全球计算》。第九届国际研讨会，TGC 2014，罗马，意大利，2014年9月5-6日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8902, 34-50 (2014).
MSC公司：第68季度85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Basile}等人，Lect。注释计算。科学。8902，34-50（2014；Zbl 1444.68110）
全文： 内政部
乔瓦尼·卡苏;G.Michele Pinna

多锁网络的流展开。 （英语） Zbl 1410.68248号

Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8489, 170-189 (2014).
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{G.Casu}和\textit{G.M.Pinna}，莱克特。注释计算。科学。8489170--189（2014年；Zbl 1410.68248）
全文： 内政部
奥纳州Agrigoroaiei;加布里埃尔·乔巴努

膜系统中的定量因果关系。 （英语） Zbl 1350.68098号

Gheorghe，Marian（编辑）等人，《膜计算》。2011年8月23日至26日，第十二届国际会议，CMC 2011，法国枫丹白露。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28023-8/pbk）。计算机科学讲义7184，62-72（2012）。
MSC公司：2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Agrigoroaiei}和\textit{G.Ciobanu}，Lect。注释计算。科学。7184、62-72（2012年；Zbl 1350.68098）
全文： 内政部
G.Michele Pinna

有多少值得记住？基于Petri网展开的分类法。 （英语） Zbl 1330.68214号

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709109-128（2011）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{G.M.Pinna}，莱克特。注释计算。科学。6709109-128（2011年；Zbl 1330.68214）
全文： 内政部
托马索·弗拉米尼奥;Elisa B.P.Tiezzi。

关于度量时间Łukasiewicz逻辑。 （英语） Zbl 1348.03023号

Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246，71-85（2009）。
MSC公司：03B52号 03B40型 03B44号 03B50号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{T.Flaminio}和\textit{E.B.P.Tiezzi}，电子。注释Theor。计算。科学。24671--85（2009年；Zbl 1348.03023）
全文： 内政部
Virbitskaite，I.B.公司。;杜伯索夫，R.S。

时间事件结构的语义域。 （英语。俄文原件） Zbl 1188.68180号

程序。计算。柔和。 34，第3期，125-137（2008）; 译自Programmirovanie 34，No.3，3-20（2008）。
MSC公司：68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Virbitskaite}和\textit{R.S.Dubtsov}，程序。计算。柔和。34，编号3，125-137（2008；Zbl 1188.68180）；译自Programmirovanie 34，No.3，3--20（2008）
全文： 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温

McMillan的上下文网络的完整前缀。 （英语） Zbl 1171.68560号

Jensen，Kurt（ed.）等人，《关于Petri网和其他并发模型的交易I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《期刊副刊》，199-220（2008）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5100、199--220（2008年；Zbl 1171.68560）
全文： 内政部
菲利普·达伦多;马西耶·库特尼;Marta Pietkiewicz-Koutny;亚历克斯·雅科夫列夫

具有分步触发策略的网络合成。 （英语） Zbl 1143.68482号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿5062112-131（2008）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{P.Darondeau}等人，Lect。注释计算。科学。5062112-131（2008年；Zbl 1143.68482）
全文： 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格

展开图变换系统：理论和验证应用。 （英语） Zbl 1143.68422号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿506516-36（2008）。
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5065,16--36（2008年；Zbl 1143.68422）
全文： 内政部
阿加提·默塞隆;莫妮卡·穆勒堡;G.Michele Pinna

在多语言环境中指定和验证反应式系统。 （英语） Zbl 1268.68115号

Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，244-256（2002）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Merceron}等人，《电子》。注释Theor。计算。科学。62、244--256（2002年；Zbl 1268.68115）
全文： 内政部
保罗·巴尔丹

Petri网外壳中图文法的并发性。 （英语） Zbl 1263.68065号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，65-82（2002）。
MSC公司：2012年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}，电子。注释Theor。计算。科学。51、65-82（2002年；Zbl 1263.68065）
全文： 内政部
安德烈亚·科拉迪尼

GETGRATS：科学成果总结（附注释书目）。 （英语） Zbl 1263.68069号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》51，1-64（2002）。
MSC公司：2012年第68季度 60年第68季度 00A15年
PDF格式BibTeX公司 XML格式引用
\textit｛A.Corradini｝，电子。注释Theor。计算。科学。51、1--64（2002年；Zbl 1263.68069）
全文： 内政部
纳迪亚·布西;G.Michele Pinna

具有抑制剂弧的网络合成。 （英语） Zbl 1512.68162号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 151-165 (1997).
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{N.Busi}和\textit{G.M.Pinna}，莱克特。注释计算。科学。1243、151--165（1997年；Zbl 1512.68162）
全文： 内政部
纳迪亚·布西;G.Michele Pinna

上下文P/T网络的非顺序语义。 （英语） Zbl 1418.68136号

Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1091, 113-132 (1996).
MSC公司：第68季度85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{N.Busi}和\textit{G.M.Pinna}，莱克特。注释计算。科学。109113-132（1996年；Zbl 1418.68136）
全文： 内政部
Joost-Pieter卡托恩

因果行为和网络。 （英语） 兹比尔1496.68231

De Michelis，Giorgio（编辑）等人，《Petri网的应用与理论》，1995年。第十六届国际会议，1995年6月26日至30日，意大利都灵。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。935, 258-277 (1995).
MSC公司：第68季度85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.卡托恩}，莱克特。注释计算。科学。935、258--277（1995年；Zbl 1496.68231）
全文： 内政部 链接
G.Michele Pinna;阿克塞尔·波涅

关于基本反应行为的规范。 （英语） Zbl 1509.68170号

Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 271-292 (1994).
MSC公司：60年第68季度 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛G.M.Pinna｝和\textit｛A.Poigné｝，Lect。注释计算。科学。802271--292（1994年；Zbl 1509.68170）
全文： 内政部
G.Michele Pinna;阿克塞尔·波涅

关于事件的性质。 （英语） Zbl 1493.68253号

Havel，Ivan M.（编辑）等人，《1992年计算机科学的数学基础》。第17届国际研讨会，1992年8月24日至28日，捷克斯洛伐克布拉格。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。629, 430-441 (1992).
MSC公司：第68季度85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.M.Pinna｝和\textit｛A.Poigné｝，Lect。注释计算。科学。629430--441（1992年；Zbl 1493.68253）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件