1.Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

作　　者：Luca Aceto ;Valentina Castiglioni ;Wan Fokkink 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:8:1-8:17.doi:10.4230/LIPIcs.CSL.2021.8

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

文章 ID：258514170

文章详细全文下载
2.On the Axiomatisability of Parallel Composition: A Journey in the Spectrum

作　　者：Luca Aceto ;Valentina Castiglioni ;Anna Ing{'o}lfsd{'o}ttir 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:18:1-18:22.doi:10.4230/LIPIcs.CONCUR.2020.18

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

文章 ID：255822877

文章详细全文下载
3.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

文章详细全文下载
4.ON THE AXIOMATISABILITY OF PARALLEL COMPOSITION

作　　者：Luca Aceto ;Valentina Castiglioni ;Anna Ingolfsdottir 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-51.doi:10.46298/lmcs-18(1:15)2022

出版社：Technical University of Braunschweig

文章 ID：1038046959

文章详细

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

	Valentina Castiglioni	4篇
	Bas Luttik	3篇
	Luca Aceto	3篇
	Anna Ingolfsdottir	1篇
	Anna Ing{'o}lfsd{'o}ttir	1篇

	Daniel Gebler	1篇
	Ingólfsdóttir, Anna	1篇
	Mathias R. Pedersen	1篇
	Mathias Ruggaard Pedersen	1篇
	Simone Tini	1篇
	Wan Fokkink	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Valentina Castiglioni")))) )) ) )"

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

	2022	1篇
	2021	1篇
	2020	1篇
	2016	1篇