1.Bigraphical models for protein and membrane interactions

作　　者：Giorgio Bacci ;Davide Grohmann ;Marino Miculan

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;11:3-18.doi:10.4204/EPTCS.11.1

出版社：Open Publishing Association

文章 ID：83119773

文章详细全文下载
2.A framework for protein and membrane interactions

作　　者：Giorgio Bacci ;Davide Grohmann ;Marino Miculan

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;11:19-33.doi:10.4204/EPTCS.11.2

出版社：Open Publishing Association

文章 ID：83119774

文章详细全文下载
3.A Logic for Choreographies

作　　者：Marco Carbone ;Davide Grohmann ;Thomas T. Hildebrandt 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;69:29-43.doi:10.4204/EPTCS.69.3

出版社：Open Publishing Association

文章 ID：83120325

文章详细全文下载
4.Graph Algebras for Bigraphs

作　　者：Davide Grohmann ;Marino Miculan

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

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

文章 ID：100465660

文章详细全文下载
5.Controlling resource access in Directed Bigraphs

作　　者：Davide Grohmann ;Marino Miculan

出　　处：Electronic Communications of the EASST. 2008 ;10.

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

文章 ID：100466053

文章详细全文下载
6.Deriving Barbed Bisimulations for Bigraphical Reactive Systems

作　　者：Davide Grohmann ;Marino Miculan

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

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

文章 ID：185438095

文章详细全文下载

	Davide Grohmann	6篇
	Marino Miculan	5篇
	Giorgio Bacci	2篇
	Hugo A. López	1篇
	Marco Carbone	1篇

	德国	3篇
	澳大利亚	3篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Davide Grohmann")))) )) ) )"

	Electronic Communications of the EASST	3篇
	Electronic Proceedings in Theoretical Computer Science	3篇

	2010	2篇
	2009	3篇
	2008	1篇