首页期刊浏览 2024年08月24日星期六

登录注册

全文

有本地全文

40篇

出版年度

	2019	1篇
	2018	1篇
	2017	3篇
	2012	1篇
	2008	2篇

	2004	3篇
	2003	1篇
	2002	3篇
	2001	2篇
	2000	1篇
	1999	3篇
	1998	4篇
	1997	4篇
	1996	2篇
	1995	1篇
	1994	8篇

作者

	Glynn Winskel	40篇
	Gian Luca Cattani	8篇
	Mogens Nielsen	4篇
	Federico Crazzolara	3篇
	Mikkel Nygaard	3篇

	Pierre Clairambault	3篇
	Colin Stirling	2篇
	Gordon Plotkin	2篇
	Henrik Reif Andersen	2篇
	John Power	2篇
	Jonathan Hayman	2篇
	Marc de Visme	2篇
	Marcelo P. Fiore	2篇
	Simon Castellan	2篇
	André Joyal	1篇
	Aurore Alcolei	1篇
	Chris Thompson-Walsh	1篇
	Daniele Varacca	1篇
	Francesco Zappa Nardelli	1篇
	Hagen Völzer	1篇
	Ian Stark	1篇
	Jean Krivine	1篇
	Jerome Feret	1篇
	Jonathan Mark Hayman	1篇
	Mario Jose Cáccamo	1篇
	Martin Hyland	1篇
	Pierre-Louis Curien	1篇
	Prakash Panangaden	1篇
	Russell Harmer	1篇
	Thomas Troels Hildebrandt	1篇
	Uffe H. Engberg	1篇
	Vincent Danos	1篇
	Walter Fontana	1篇

文章类型

Research Article

32篇

来源期刊

	BRICS Report Series	32篇
	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

40篇

语种

英文

40篇

国别/地区

	丹麦	32篇
	德国	8篇

检索条件:"( ( 高级检索(( ((AU:(("Glynn Winskel")))) )) ) )"

共 40 条记录

排序：全选导出：

1.Petri Nets and Bisimulations

作　　者：Mogens Nielsen ;Glynn Winskel

出　　处：BRICS Report Series. 1995 ;2(4).

出版社：Aarhus University

文章 ID：101759794

文章详细全文下载
2.Relational Semantics of Non-Deterministic Dataflow

作　　者：Thomas Troels Hildebrandt ;Prakash Panangaden ;Glynn Winskel

出　　处：BRICS Report Series. 1997 ;4(36).

出版社：Aarhus University

文章 ID：101759825

文章详细全文下载
3.A Compositional Proof System for the Modal mu-Calculus

作　　者：Henrik Reif Andersen ;Colin Stirling ;Glynn Winskel

出　　处：BRICS Report Series. 1998 ;5(40).

出版社：Aarhus University

文章 ID：101759827

文章详细全文下载
4.Events in Security Protocols

作　　者：Federico Crazzolara ;Glynn Winskel

出　　处：BRICS Report Series. 2001 ;8(13).

出版社：Aarhus University

文章 ID：101759859

文章详细全文下载
5.Weak Bisimulation and Open Maps

作　　者：Marcelo P. Fiore ;Gian Luca Cattani ;Glynn Winskel

出　　处：BRICS Report Series. 1999 ;6(14).

出版社：Aarhus University

文章 ID：101759893

文章详细全文下载
6.Presheaf Models for CCS-like Languages

作　　者：Gian Luca Cattani ;Glynn Winskel

出　　处：BRICS Report Series. 1999 ;6(36).

出版社：Aarhus University

文章 ID：101759909

文章详细全文下载
7.Event Structures as Presheaves —Two Representation Theorems

作　　者：Glynn Winskel

出　　处：BRICS Report Series. 1999 ;6(7).

出版社：Aarhus University

文章 ID：101759932

文章详细全文下载
8.Presheaf Models for the pi-Calculus

作　　者：Gian Luca Cattani ;Ian Stark ;Glynn Winskel

出　　处：BRICS Report Series. 1997 ;4(34).

出版社：Aarhus University

文章 ID：101759934

文章详细全文下载
9.A Linear Metalanguage for Concurrency

作　　者：Glynn Winskel

出　　处：BRICS Report Series. 1998 ;5(31).

出版社：Aarhus University

文章 ID：101759941

文章详细全文下载
10.A Presheaf Semantics of Value-Passing Processes

作　　者：Glynn Winskel

出　　处：BRICS Report Series. 1996 ;3(44).

出版社：Aarhus University

文章 ID：101759945

文章详细全文下载

1 2 3 4 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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