1.Aspects of multiscale modelling in a process algebra for biological systems

作　　者：Roberto Barbuti ;Giulio Caravagna ;Paolo Milazzo 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;40:54-69.doi:10.4204/EPTCS.40.5

出版社：Open Publishing Association

文章 ID：83120061

文章详细全文下载
2.Compositional Weak Metrics for Group Key Update

作　　者：Ruggero Lanotte ;Massimo Merro ;Simone Tini

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:72:1-72:16.doi:10.4230/LIPIcs.MFCS.2017.72

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

文章 ID：205510132

文章详细全文下载
3.Compositional metric reasoning with Probabilistic Process Calculi

作　　者：Daniel Gebler ;Simone Tini ;Kim Larsen

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

出版社：Technical University of Braunschweig

文章 ID：264692051

文章详细全文下载
4.SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators

作　　者：Daniel Gebler ;Simone Tini

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:155-168.doi:10.4230/LIPIcs.CONCUR.2015.155

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

文章 ID：186847007

文章详细全文下载
5.Modal Decomposition on Nondeterministic Probabilistic Processes

作　　者：Valentina Castiglioni ;Daniel Gebler ;Simone Tini

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:36:1-36:15.doi:10.4230/LIPIcs.CONCUR.2016.36

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

文章 ID：186847594

文章详细全文下载

	Simone Tini	5篇
	Daniel Gebler	3篇
	Andrea Maggiolo-Schettini	1篇
	Giulio Caravagna	1篇
	Kim Larsen	1篇

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Simone Tini")))) )) ) )"

	Massimo Merro	1篇
	Paolo Milazzo	1篇
	Roberto Barbuti	1篇
	Ruggero Lanotte	1篇
	Valentina Castiglioni	1篇

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

	2017	1篇
	2016	2篇
	2015	1篇
	2010	1篇