1.Distributed execution of bigraphical reactive systems

作　　者：Alessio Mansutti ;Marino Miculan ;Marco Peressotti

出　　处：Electronic Communications of the EASST. 2014 ;71.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：110617877

文章详细全文下载
2.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Lu{\'\i}s Cruz-Filipe ;Saverio Giallorenzo ;Fabrizio Montesi 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2020 ;78:1-14.doi:10.4230/OASIcs.Microservices.2017-2019.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494326

文章详细全文下载
3.Distributed execution of bigraphical reactive systems

作　　者：Alessio Mansutti ;Marino Miculan ;Marco Peressotti

出　　处：Electronic Communications of the EASST. 2015 ;71.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185430535

文章详细全文下载
4.A Uniform Framework for Timed Automata

作　　者：Tomasz Brengos ;Marco Peressotti

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:26:1-26:15.doi:10.4230/LIPIcs.CONCUR.2016.26

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847584

文章详细全文下载
5.Taking Linear Logic Apart

作　　者：Wen Kokke ;Fabrizio Montesi ;Marco Peressotti

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;292:90-103.doi:10.4204/EPTCS.292.5

出版社：Open Publishing Association

文章 ID：1034087619

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Marco Peressotti	5篇
	Alessio Mansutti	2篇
	Fabrizio Montesi	2篇
	Marino Miculan	2篇
	Florian Rademacher	1篇

	Lu{\'\i}s Cruz-Filipe	1篇
	Sabine Sachweh	1篇
	Saverio Giallorenzo	1篇
	Tomasz Brengos	1篇
	Wen Kokke	1篇

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Marco Peressotti")))) )) ) )"

	Electronic Communications of the EASST	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2020	1篇
	2019	1篇
	2016	1篇
	2015	1篇
	2014	1篇