1.Termination in a Pi-calculus with Subtyping

作　　者：Ioana Cristescu ;Daniel Hirschkoff

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

出版社：Open Publishing Association

文章 ID：83120278

文章详细全文下载
2.A Distribution Law for CCS and a New Congruence Result for the p-calculus

作　　者：Daniel Hirschkoff ;Damien Pous

出　　处：Logical Methods in Computer Science. 2008 ;4(02).doi:10.2168/LMCS-4(2:4)2008

出版社：Technical University of Braunschweig

文章 ID：46838691

文章详细全文下载
3.Separability in the Ambient Logic

作　　者：Etienne Lozes ;Daniel Hirschkoff ;Davide Sangiorgi

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:4)2008

出版社：Technical University of Braunschweig

文章 ID：47109806

文章详细全文下载
4.Divergence and Unique Solution of Equations

作　　者：Adrien Durier ;Daniel Hirschkoff ;Davide Sangiorgi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:11:1-11:16.doi:10.4230/LIPIcs.CONCUR.2017.11

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

文章 ID：200735177

文章详细全文下载
5.On the Representation of References in the Pi-Calculus

作　　者：Daniel Hirschkoff ;Enguerrand Prebet ;Davide Sangiorgi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:34:1-34:20.doi:10.4230/LIPIcs.CONCUR.2020.34

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

文章 ID：255822893

文章详细全文下载

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Daniel Hirschkoff")))) )) ) )"

	Daniel Hirschkoff	5篇
	Davide Sangiorgi	3篇
	Adrien Durier	1篇
	Damien Pous	1篇
	Enguerrand Prebet	1篇

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

	2020	1篇
	2017	1篇
	2011	1篇
	2008	2篇

	Etienne Lozes	1篇
	Ioana Cristescu	1篇