首页期刊浏览 2024年11月23日星期六

登录注册

全文

有本地全文

4篇

出版年度

	2017	2篇
	1997	2篇

作者

	Prakash Panangaden	4篇
	Abbas Edalat	1篇
	Bartek Klin	1篇
	Borja Balle	1篇
	Glynn Winskel	1篇

	Josée Desharnais	1篇
	Nathana{\"e}l Fijalkow	1篇
	Pascale Gourdeau	1篇
	Richard Blute	1篇
	Thomas Troels Hildebrandt	1篇

文章类型

Research Article

2篇

来源期刊

	BRICS Report Series	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇

学科主题

计算技术、计算机技术

4篇

语种

英文

4篇

国别/地区

	丹麦	2篇
	德国	2篇

检索条件:"( ( 高级检索(( ((AU:(("Prakash Panangaden")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Relational Semantics of Non-Deterministic Dataflow

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

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

出版社：Aarhus University

文章 ID：101759825

文章详细全文下载
2.Bisimulation for Labelled Markov Processes

作　　者：Richard Blute ;Josée Desharnais ;Abbas Edalat 等

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

出版社：Aarhus University

文章 ID：101759999

文章详细全文下载
3.Bisimulation Metrics for Weighted Automata

作　　者：Borja Balle ;Pascale Gourdeau ;Prakash Panangaden

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:103:1-103:14.doi:10.4230/LIPIcs.ICALP.2017.103

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

文章 ID：198372057

文章详细全文下载
4.Expressiveness of Probabilistic Modal Logics, Revisited

作　　者：Nathana{\"e}l Fijalkow ;Bartek Klin ;Prakash Panangaden

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:105:1-105:12.doi:10.4230/LIPIcs.ICALP.2017.105

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

文章 ID：198372059

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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