首页期刊浏览 2025年02月17日星期一

登录注册

全文

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

出版年度

	2021	1篇
	2019	1篇
	2017	2篇
	2015	1篇
	2011	1篇

	2010	1篇
	2009	1篇
	2006	1篇
	2005	1篇

作者

	Wan Fokkink	10篇
	Bas Luttik	3篇
	Luca Aceto	2篇
	Maciej Gazda	2篇
	Rob van Glabbeek	2篇

	Anna Ingolfsdottir	1篇
	Henri Bal	1篇
	Ingólfsdóttir, Anna	1篇
	Jun Pang	1篇
	Kees Verstoep	1篇
	Rob Glabbeek	1篇
	Rob J. van Glabbeek	1篇
	Stefan Vijzelaar	1篇
	Taolue Chen	1篇
	Valentina Castiglioni	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Electronic Proceedings in Theoretical Computer Science	3篇
	Logical Methods in Computer Science	2篇
	Journal of Universal Computer Science	1篇

学科主题

计算技术、计算机技术

10篇

语种

英文

10篇

国别/地区

	德国	6篇
	澳大利亚	3篇
	奥地利	1篇

检索条件:"( ( 高级检索(( ((AU:(("Wan Fokkink")))) )) ) )"

共 10 条记录

排序：全选导出：

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.Modal Logic and the Approximation Induction Principle

作　　者：Maciej Gazda ;Wan Fokkink

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;8:41-50.doi:10.4204/EPTCS.8.4

出版社：Open Publishing Association

文章 ID：83119750

文章详细全文下载
3.Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

作　　者：Maciej Gazda ;Wan Fokkink

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;32:15-25.doi:10.4204/EPTCS.32.2

出版社：Open Publishing Association

文章 ID：83119990

文章详细全文下载
4.Distributed MAP in the SpinJa Model Checker

作　　者：Stefan Vijzelaar ;Kees Verstoep ;Wan Fokkink 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;72:84-90.doi:10.4204/EPTCS.72.9

出版社：Open Publishing Association

文章 ID：83120355

文章详细全文下载
5.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Wan Fokkink ;Rob van Glabbeek

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-14.doi:10.4230/LIPIcs.CONCUR.2019.0

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

文章 ID：238891908

文章详细全文下载
6.Precongruence Formats with Lookahead through Modal Decomposition

作　　者：Wan Fokkink ;Rob J. van Glabbeek

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:25:1-25:20.doi:10.4230/LIPIcs.CSL.2017.25

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

文章 ID：200735091

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

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

文章详细全文下载
9.On the Axiomatizability of Impossible Futures

作　　者：Taolue Chen ;Wan Fokkink ;Rob Glabbeek

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:17)2015

出版社：Technical University of Braunschweig

文章 ID：264692076

文章详细全文下载
10.Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM

作　　者：Wan Fokkink ;Jun Pang

出　　处：Journal of Universal Computer Science. 2006 ;12(8):981-1006.

出版社：Graz University of Technology and Know-Center

文章 ID：186873714

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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