1.Parameterized Concurrent Multi-Party Session Types

作　　者：Minas Charalambides ;Peter Dinges ;Gul Agha

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;91:16-30.doi:10.4204/EPTCS.91.2

出版社：Open Publishing Association

文章 ID：83120549

文章详细全文下载
2.Towards Re-usable Real-Time Objects

作　　者：Brian Nielsen ;Gul Agha

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

出版社：Aarhus University

文章 ID：101759952

文章详细全文下载
3.Scalable Termination Detection for Distributed Actor Systems

作　　者：Dan Plyukhin ;Gul Agha

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:11:1-11:23.doi:10.4230/LIPIcs.CONCUR.2020.11

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

文章 ID：255822870

文章详细全文下载
4.Targeted Test Generation for Actor Systems

作　　者：Sihan Li ;Farah Hariri ;Gul Agha

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:8:1-8:31.doi:10.4230/LIPIcs.ECOOP.2018.8

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

文章 ID：220014739

文章详细
5.A SCALABLE ALGORITHM FOR DECENTRALIZED ACTOR TERMINATION DETECTION

作　　者：Dan Plyukhin ;Gul Agha

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-35.doi:10.46298/lmcs-18(1:39)2022

出版社：Technical University of Braunschweig

文章 ID：1038046949

文章详细

	有本地全文	3篇
	有全文链接	2篇

	德国	3篇
	丹麦	1篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Gul Agha")))) )) ) )"

	Gul Agha	5篇
	Dan Plyukhin	2篇
	Brian Nielsen	1篇
	Farah Hariri	1篇
	Minas Charalambides	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	BRICS Report Series	1篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

	2022	1篇
	2020	1篇
	2018	1篇
	2012	1篇
	1998	1篇

	Peter Dinges	1篇
	Sihan Li	1篇