1.A Type System for Required/Excluded Elements in CLS

作　　者：Mariangiola Dezani-Ciancaglini ;Paola Giannini ;Angelo Troina

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;9:38-48.doi:10.4204/EPTCS.9.5

出版社：Open Publishing Association

文章 ID：83119758

文章详细全文下载

2.A Type System for a Stochastic CLS

作　　者：Mariangiola Dezani-Ciancaglini ;Paola Giannini ;Angelo Troina

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;11:91-105.doi:10.4204/EPTCS.11.6

出版社：Open Publishing Association

文章 ID：83119778

文章详细全文下载

3.Intersection types for unbind and rebind

作　　者：Mariangiola Dezani-Ciancaglini ;Paola Giannini ;Elena Zucca

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;45:45-58.doi:10.4204/EPTCS.45.4

出版社：Open Publishing Association

文章 ID：83120099

文章详细全文下载

4.Information Flow Safety in Multiparty Sessions

作　　者：Sara Capecchi ;Ilaria Castellani ;Mariangiola Dezani-Ciancaglini

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;64:16-30.doi:10.4204/EPTCS.64.2

出版社：Open Publishing Association

文章 ID：83120276

文章详细全文下载

5.A Calculus of Looping Sequences with Local Rules

作　　者：Livio Bioglio ;Mariangiola Dezani-Ciancaglini ;Paola Giannini 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;88:43-58.doi:10.4204/EPTCS.88.4

出版社：Open Publishing Association

文章 ID：83120427

文章详细全文下载

6.Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions

作　　者：Adriana Compagnoni ;Mariangiola Dezani-Ciancaglini ;Paola Giannini 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;100:101-106.doi:10.4204/EPTCS.100.7

出版社：Open Publishing Association

文章 ID：83120632

文章详细全文下载

7.Concurrent Reversible Sessions

作　　者：Ilaria Castellani ;Mariangiola Dezani-Ciancaglini ;Paola Giannini

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:30:1-30:17.doi:10.4230/LIPIcs.CONCUR.2017.30

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

文章 ID：200735196

文章详细全文下载

8.On Global Types and Multi-Party Session

作　　者：Giuseppe Castagna ;Mariangiola Dezani-Ciancaglini ;Luca Padovani

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:24)2012

出版社：Technical University of Braunschweig

文章 ID：264691938

文章详细全文下载

9.Deconfined Intersection Types in Java

作　　者：Mariangiola Dezani-Ciancaglini ;Paola Giannini ;Betti Venneri

出　　处：OASIcs : OpenAccess Series in Informatics. 2020 ;86:1-25.doi:10.4230/OASIcs.Gabbrielli.3

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

文章 ID：257805133

文章详细全文下载

10.Isomorphism of "Functional" Intersection Types

作　　者：Mario Coppo ;Mariangiola Dezani-Ciancaglini ;Ines Margaria 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:129-149.doi:10.4230/LIPIcs.TYPES.2013.129

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

文章 ID：186846501

文章详细全文下载

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

	2020	1篇
	2019	1篇
	2017	1篇
	2014	1篇
	2012	2篇

	Betti Venneri	1篇
	Elena Zucca	1篇
	Franco Barbanera	1篇
	Giuseppe Castagna	1篇
	Ines Margaria	1篇
	Karin Sauer	1篇
	Livio Bioglio	1篇
	Luca Padovani	1篇
	Maddalena Zacchi	1篇
	Mario Coppo	1篇
	Sara Capecchi	1篇
	Vishakha Sharma	1篇

	澳大利亚	7篇
	德国	4篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Mariangiola Dezani-Ciancaglini")))) )) ) )"

	Mariangiola Dezani-Ciancaglini	11篇
	Paola Giannini	7篇
	Angelo Troina	4篇
	Ilaria Castellani	2篇
	Adriana Compagnoni	1篇

	Electronic Proceedings in Theoretical Computer Science	7篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	1篇
	OASIcs : OpenAccess Series in Informatics	1篇