1.Typing Context-Dependent Behavioural Variation

作　　者：Pierpaolo Degano ;Gian-Luigi Ferrari ;Letterio Galletta 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;109:28-33.doi:10.4204/EPTCS.109.5

出版社：Open Publishing Association

文章 ID：85356955

文章详细全文下载
2.Safer in the Clouds (Extended Abstract)

作　　者：Chiara Bodei ;Viet Dung Dinh ;Gian Luigi Ferrari

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;38:45-49.doi:10.4204/EPTCS.38.6

出版社：Open Publishing Association

文章 ID：83120042

文章详细全文下载
3.Predicting global usages of resources endowed with local policies

作　　者：Chiara Bodei ;Viet Dung Dinh ;Gian Luigi Ferrari

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;58:49-64.doi:10.4204/EPTCS.58.4

出版社：Open Publishing Association

文章 ID：83120209

文章详细全文下载
4.Automata for Analysing Service Contracts

作　　者：Davide Basile ;Pierpaolo Degano ;Gian-Luigi Ferrari

出　　处：Logical Methods in Computer Science. 2016 ;12(4):1.doi:10.2168/LMCS-12(4:6)2016

出版社：Technical University of Braunschweig

文章 ID：264692053

文章详细全文下载
5.Debugging Distributed Systems with Causal Nets

作　　者：Gian Luigi Ferrari ;Roberto Guanciale ;Daniele Strollo 等

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

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

文章 ID：185436489

文章详细全文下载

	Daniele Strollo	1篇
	Davide Basile	1篇
	Emilio Tuosto	1篇
	Gianluca Mezzetti	1篇
	Letterio Galletta	1篇
	Roberto Guanciale	1篇

	澳大利亚	3篇
	德国	2篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Gian Luigi Ferrari")))) )) ) )"

	Gian Luigi Ferrari	3篇
	Chiara Bodei	2篇
	Gian-Luigi Ferrari	2篇
	Pierpaolo Degano	2篇
	Viet Dung Dinh	2篇

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

	2016	1篇
	2013	1篇
	2011	1篇
	2010	1篇
	2009	1篇