1.Term Graph Rewriting and Parallel Term Rewriting

作　　者：Andrea Corradini ;Frank Drewes

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;48:3-18.doi:10.4204/EPTCS.48.3

出版社：Open Publishing Association

文章 ID：83120119

文章详细全文下载
2.Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions

作　　者：Andrea Corradini

出　　处：Electronic Communications of the EASST. 2013 ;58.

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

文章 ID：100465728

文章详细全文下载
3.Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets

作　　者：Frank Hermann ;Andrea Corradini ;Hartmut Ehrig 等

出　　处：Electronic Communications of the EASST. 2010 ;29.

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

文章 ID：100465748

文章详细全文下载
4.From Petri Nets to Graph Transformation Systems

作　　者：Paolo Baldan ;Andrea Corradini ;Fabio Gadducci 等

出　　处：Electronic Communications of the EASST. 2010 ;26.

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

文章 ID：100465756

文章详细全文下载
5.Modeling a Service and Session Calculus with Hierarchical Graph Transformation

作　　者：Roberto Bruni ;Andrea Corradini ;Ugo Montanari

出　　处：Electronic Communications of the EASST. 2010 ;30.

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

文章 ID：100465989

文章详细全文下载
6.Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

作　　者：Paolo Baldan ;Andrea Corradini ;Hartmut Ehrig 等

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:3)2008

出版社：Technical University of Braunschweig

文章 ID：47109809

文章详细全文下载
7.Preface

作　　者：Andrea Corradini

出　　处：Electronic Communications of the EASST. 2011 ;38.

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

文章 ID：185436392

文章详细全文下载
8.Preface

作　　者：Andrea Corradini ;Emilio Tuosto

出　　处：Electronic Communications of the EASST. 2009 ;16.

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

文章 ID：185438092

文章详细全文下载

	Andrea Corradini	8篇
	Barbara König	2篇
	Hartmut Ehrig	2篇
	Paolo Baldan	2篇
	Ugo Montanari	2篇

	Emilio Tuosto	1篇
	Fabio Gadducci	1篇
	Frank Drewes	1篇
	Frank Hermann	1篇
	Reiko Heckel	1篇
	Roberto Bruni	1篇

	德国	7篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Andrea Corradini")))) )) ) )"

	Electronic Communications of the EASST	6篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

	2013	1篇
	2011	2篇
	2010	3篇
	2009	1篇
	2008	1篇