1.Data refinement for true concurrency

作　　者：Brijesh Dongol ;John Derrick

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;115:15-35.doi:10.4204/EPTCS.115.2

出版社：Open Publishing Association

文章 ID：85357023

文章详细全文下载
2.Approximating Idealised Real-Time Specifications Using Time Bands

作　　者：Brijesh Dongol ;Ian J. Hayes

出　　处：Electronic Communications of the EASST. 2011 ;46.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465400

文章详细全文下载
3.Owicki-Gries Reasoning for C11 RAR

作　　者：Sadegh Dalvandi ;Simon Doherty ;Brijesh Dongol 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-26.doi:10.4230/LIPIcs.ECOOP.2020.11

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

文章 ID：256859630

文章详细全文下载
4.Defining Correctness Conditions for Concurrent Objects in Multicore Architectures

作　　者：Brijesh Dongol ;John Derrick ;Lindsay Groves 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;37:470-494.doi:10.4230/LIPIcs.ECOOP.2015.470

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

文章 ID：186846924

文章详细全文下载
5.Simplifying proofs of linearisability using layers of abstraction

作　　者：Brijesh Dongol ;John Derrick

出　　处：Electronic Communications of the EASST. 2014 ;66.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185434296

文章详细全文下载
6.Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic

作　　者：Brijesh Dongol ;John Derrick ;Ian J. Hayes

出　　处：Electronic Communications of the EASST. 2013 ;53.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185435827

文章详细全文下载
7.Proving Opacity of a Pessimistic STM

作　　者：Simon Doherty ;Brijesh Dongol ;John Derrick 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;70:35:1-35:17.doi:10.4230/LIPIcs.OPODIS.2016.35

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

文章 ID：193875244

文章详细全文下载
8.Brief Announcement: Generalising Concurrent Correctness to Weak Memory

作　　者：Simon Doherty ;Brijesh Dongol ;Heike Wehrheim 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;121:1-3.doi:10.4230/LIPIcs.DISC.2018.45

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

文章 ID：230213243

文章详细全文下载

	Gerhard Schellhorn	1篇
	Graeme Smith	1篇
	Lindsay Groves	1篇
	Sadegh Dalvandi	1篇

	德国	7篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Brijesh Dongol")))) )) ) )"

	Brijesh Dongol	8篇
	John Derrick	6篇
	Heike Wehrheim	3篇
	Simon Doherty	3篇
	Ian J. Hayes	2篇

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Electronic Communications of the EASST	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2020	1篇
	2018	1篇
	2017	1篇
	2015	1篇
	2014	1篇

	2013	2篇
	2011	1篇