1.Debugging Distributed Systems with Causal Nets

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

出　　处：Electronic Communications of the EASST. 2008 ;14(0).

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

文章 ID：100465456

文章详细全文下载
2.Patterns of Federated Identity Management Systems as Architectural Reconfigurations

作　　者：Nizamani, Hyder Ali ;Tuosto, Emilio

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

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

文章 ID：100465684

文章详细全文下载
3.Preface

作　　者：Corradini, Andrea ;Tuosto, Emilio

出　　处：Electronic Communications of the EASST. 2008 ;16(0).

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

文章 ID：100466096

文章详细全文下载
4.On Sessions and Infinite Data

作　　者：Dezani-Ciancaglini, Mariangiola ;Tuosto, Emilio ;Padovani, Luca 等

出　　处：Logical Methods in Computer Science. 2017 ;13(2).

出版社：Technical University of Braunschweig

文章 ID：1011733847

文章详细
5.On Resolving Non-determinism in Choreographies

作　　者：Tuosto, Emilio ;Melgratti, Hernan ;Bocchi, Laura

出　　处：Logical Methods in Computer Science. 2020 ;16(3):1-69.

出版社：Technical University of Braunschweig

文章 ID：1035318208

文章详细

	有本地全文	3篇
	有全文链接	2篇

	Guanciale, Roberto	1篇
	Melgratti, Hernan	1篇
	Nizamani, Hyder Ali	1篇
	Padovani, Luca	1篇
	Severi, Paula	1篇
	Strollo, Daniele	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Tuosto, Emilio")))) )) ) )"

	Tuosto, Emilio	5篇
	Bocchi, Laura	1篇
	Corradini, Andrea	1篇
	Dezani-Ciancaglini, Mariangiola	1篇
	Ferrari, Gian Luigi	1篇

	Electronic Communications of the EASST	3篇
	Logical Methods in Computer Science	2篇

	2020	1篇
	2017	1篇
	2010	1篇
	2008	2篇