1.Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

作　　者：Luca Aceto ;Wan Fokkink ;Anna Ingolfsdottir 等

出　　处：Logical Methods in Computer Science. 2005 ;1(1).

出版社：Technical University of Braunschweig

文章 ID：41929656

文章详细全文下载
2.Characteristic Formulae for Fixed-Point Semantics: A General Framework

作　　者：Luca Aceto ;Anna Ingolfsdottir ;Joshua Sack

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;8:1-15.doi:10.4204/EPTCS.8.1

出版社：Open Publishing Association

文章 ID：83119747

文章详细全文下载
3.A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

作　　者：Luca Aceto ;Matteo Cimini ;Anna Ingolfsdottir

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;18:1-16.doi:10.4204/EPTCS.18.1

出版社：Open Publishing Association

文章 ID：83119827

文章详细全文下载
4.Axiomatizing GSOS with Predicates

作　　者：Luca Aceto ;Georgiana Caltais ;Eugen-Ioan Goriac 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;62:1-15.doi:10.4204/EPTCS.62.1

出版社：Open Publishing Association

文章 ID：83120238

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

文章详细

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

	Anna Ingolfsdottir	5篇
	Luca Aceto	5篇
	Bas Luttik	2篇
	Eugen-Ioan Goriac	1篇
	Georgiana Caltais	1篇

	Joshua Sack	1篇
	Mathias R. Pedersen	1篇
	Matteo Cimini	1篇
	Valentina Castiglioni	1篇
	Wan Fokkink	1篇

	澳大利亚	3篇
	德国	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Anna Ingolfsdottir")))) )) ) )"

	Electronic Proceedings in Theoretical Computer Science	3篇
	Logical Methods in Computer Science	2篇

	2022	1篇
	2011	1篇
	2009	2篇
	2005	1篇