1.Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or

作　　者：Simon Castellan ;Pierre Clairambault ;Glynn Winskel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:12:1-12:16.doi:10.4230/LIPIcs.FSCD.2017.12

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

文章 ID：200735121

文章详细全文下载
2.Distributed Strategies Made Easy

作　　者：Simon Castellan ;Pierre Clairambault ;Glynn Winskel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:81:1-81:13.doi:10.4230/LIPIcs.MFCS.2017.81

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

文章 ID：205510152

文章详细全文下载
3.Undecidability of Equality in the Free Locally Cartesian Closed Category

作　　者：Simon Castellan ;Pierre Clairambault ;Peter Dybjer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:138-152.doi:10.4230/LIPIcs.TLCA.2015.138

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

文章 ID：186846861

文章详细全文下载
4.Causality vs. Interleavings in Concurrent Game Semantics

作　　者：Simon Castellan ;Pierre Clairambault

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:32:1-32:14.doi:10.4230/LIPIcs.CONCUR.2016.32

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

文章 ID：186847590

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Simon Castellan")))) )) ) )"

	Pierre Clairambault	4篇
	Simon Castellan	4篇
	Glynn Winskel	2篇
	Peter Dybjer	1篇

	2017	2篇
	2016	1篇
	2015	1篇