1.Rule Formats for Nominal Process Calculi

作　　者：Luca Aceto ;Ignacio F{\'a}bregas ;Álvaro Garc{\'i}a-P{\'e}rez 等

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

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

文章 ID：200735176

文章详细全文下载
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.Monitoring for Silent Actions

作　　者：Luca Aceto ;Antonis Achilleos ;Adrian Francalanza 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:7:1-7:14.doi:10.4230/LIPIcs.FSTTCS.2017.7

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

文章 ID：220015392

文章详细
4.On Runtime Enforcement via Suppressions

作　　者：Luca Aceto ;Ian Cassar ;Adrian Francalanza 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.34

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

文章 ID：230213346

文章详细全文下载

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

	Luca Aceto	4篇
	Anna Ing{\'o}lfsd{\'o}ttir	3篇
	Adrian Francalanza	2篇
	Anna Ing{'o}lfsd{'o}ttir	1篇
	Antonis Achilleos	1篇

	Bas Luttik	1篇
	Ian Cassar	1篇
	Ignacio F{\'a}bregas	1篇
	Mathias Ruggaard Pedersen	1篇
	Valentina Castiglioni	1篇
	Yolanda Ortega-Mall{\'e}n	1篇
	Álvaro Garc{\'i}a-P{\'e}rez	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Anna Ing{ o}lfsd{ o}ttir")))) )) ) )"

	2020	1篇
	2018	2篇
	2017	1篇