首页期刊浏览 2024年11月26日星期二

登录注册

全文

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

出版年度

	2022	1篇
	2021	1篇
	2020	1篇
	2019	1篇
	2017	2篇

	2015	1篇
	2010	1篇
	2006	1篇
	2005	2篇
	2004	1篇
	2003	1篇

作者

	Bas Luttik	13篇
	Luca Aceto	8篇
	Anna Ingólfsdóttir	4篇
	Willem Jan Fokkink	4篇
	Valentina Castiglioni	3篇

	Wan Fokkink	3篇
	Anna Ingolfsdottir	2篇
	Alexandra Silva	1篇
	Anna Ing{'o}lfsd{'o}ttir	1篇
	Astrid Belder	1篇
	Fabio Zanasi	1篇
	Ingólfsdóttir, Anna	1篇
	Jos Baeten	1篇
	Jos C. M. Baeten	1篇
	Mathias R. Pedersen	1篇
	Mathias Ruggaard Pedersen	1篇
	Paul Brunet	1篇
	Paul van Tilburg	1篇
	Rob van Glabbeek	1篇
	Sjoerd Cranen	1篇
	Tim A. C. Willemse	1篇
	Tim Muller	1篇
	Tobias Kapp{\'e	1篇

文章类型

Research Article

4篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	BRICS Report Series	4篇
	Logical Methods in Computer Science	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇

学科主题

计算技术、计算机技术

13篇

语种

英文

13篇

国别/地区

	德国	8篇
	丹麦	4篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Bas Luttik")))) )) ) )"

共 13 条记录

排序：全选导出：

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.Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

作　　者：Jos C. M. Baeten ;Bas Luttik ;Tim Muller 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;41:1-15.doi:10.4204/EPTCS.41.1

出版社：Open Publishing Association

文章 ID：83120069

文章详细全文下载
3.Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity

作　　者：Astrid Belder ;Bas Luttik ;Jos Baeten

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-22.doi:10.4230/LIPIcs.CALCO.2019.11

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

文章 ID：241520008

文章详细全文下载
4.Divide and Congruence III: Stability & Divergence

作　　者：Wan Fokkink ;Rob van Glabbeek ;Bas Luttik

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

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

文章 ID：200735181

文章详细全文下载
5.Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

作　　者：Tobias Kapp{\'e ;Paul Brunet ;Bas Luttik 等

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

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

文章 ID：200735191

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

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

文章详细全文下载
8.Evidence for Fixpoint Logic

作　　者：Sjoerd Cranen ;Bas Luttik ;Tim A. C. Willemse

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:78-93.doi:10.4230/LIPIcs.CSL.2015.78

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

文章 ID：186847040

文章详细全文下载
9.CCS with Hennessy's Merge has no Finite Equational Axiomatization

作　　者：Luca Aceto ;Willem Jan Fokkink ;Anna Ingólfsdóttir 等

出　　处：BRICS Report Series. 2003 ;10(34).

出版社：Aarhus University

文章 ID：186804853

文章详细全文下载
10.Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

作　　者：Luca Aceto ;Willem Jan Fokkink ;Anna Ingólfsdóttir 等

出　　处：BRICS Report Series. 2004 ;11(1).

出版社：Aarhus University

文章 ID：186804873

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有