1.Weak Bisimulation and Open Maps

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

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

出版社：Aarhus University

文章 ID：101759893

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

作　　者：Gian Luca Cattani ;Glynn Winskel

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

出版社：Aarhus University

文章 ID：101759909

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

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

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

出版社：Aarhus University

文章 ID：101759934

文章详细全文下载
4.Presheaf Models for Concurrency

作　　者：Gian Luca Cattani ;Glynn Winskel

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

出版社：Aarhus University

文章 ID：101759962

文章详细全文下载
5.A Theory of Recursive Domains with Applications to Concurrency

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

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

出版社：Aarhus University

文章 ID：101760011

文章详细全文下载
6.A Categorical Axiomatics for Bisimulation

作　　者：Gian Luca Cattani ;John Power ;Glynn Winskel

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

出版社：Aarhus University

文章 ID：101760046

文章详细全文下载
7.A Representation Result for Free Cocompletions

作　　者：John Power ;Gian Luca Cattani ;Glynn Winskel

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

出版社：Aarhus University

文章 ID：101760086

文章详细全文下载
8.Profunctors, Open Maps and Bisimulation

作　　者：Gian Luca Cattani ;Glynn Winskel

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

出版社：Aarhus University

文章 ID：186804894

文章详细全文下载

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Gian Luca Cattani")))) )) ) )"

	Gian Luca Cattani	8篇
	Glynn Winskel	8篇
	John Power	2篇
	Marcelo P. Fiore	2篇
	Ian Stark	1篇

	2004	1篇
	1999	2篇
	1998	2篇
	1997	2篇
	1996	1篇