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.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

文章详细全文下载

5.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

文章详细全文下载

6.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

文章详细全文下载

7.Constrained Polymorphic Types for a Calculus with Name Variables

作　　者：Davide Ancona ;Paola Giannini ;Elena Zucca

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:4:1-4:29.doi:10.4230/LIPIcs.TYPES.2015.4

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

文章 ID：220015479

文章详细

8.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

文章详细全文下载

9.A Syntactic Model of Mutation and Aliasing

作　　者：Paola Giannini ;Marco Servetto ;Elena Zucca

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;293:39-55.doi:10.4204/EPTCS.293.4

出版社：Open Publishing Association

文章 ID：1034315680

文章详细

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

	Betti Venneri	1篇
	Davide Ancona	1篇
	Ilaria Castellani	1篇
	Karin Sauer	1篇
	Livio Bioglio	1篇
	Marco Servetto	1篇
	Vishakha Sharma	1篇

	澳大利亚	6篇
	德国	3篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Paola Giannini")))) )) ) )"

	Paola Giannini	9篇
	Mariangiola Dezani-Ciancaglini	7篇
	Angelo Troina	4篇
	Elena Zucca	3篇
	Adriana Compagnoni	1篇

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