搜索页_concurrent+Kleene+algebra

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

CNKI学位论文(10)

知网期刊论文(1)

在“SpringerLink电子期刊”中，命中：9条，耗时：小于0.01 秒

在所有数据库中总计命中：11条

1. A Discrete Geometric Model of Concurrent Program Execution

关键词：Concurrent Kleene Algebra ; Laws of programming ; Trace algebra ; Semantic models ; Refinement ; Unifying theories

刊名：Lecture Notes in Computer Science

出版年：2017

2. Generalised rely-guarantee concurrency: an algebraic foundation

作者： Ian J. Hayes

关键词：Concurrent programming ; rely ; guarantee concurrency ; program verification ; program algebra ; concurrent Kleene algebra

刊名：Formal Aspects of Computing

出版年：2016

3. Concurrent Kleene Algebra with Tests

作者：Peter Jipsen (19)

关键词：Concurrent Kleene algebras ; Kleene algebras with tests ; parallel programming models ; series ; parallel strings ; relation algebras with transitive closure

刊名：Lecture Notes in Computer Science

出版年：2014

4. Endowing Concurrent Kleene Algebra with Communication Actions

作者：Jason Jaskolka (19)
Ridha Khedri (19)
Qinglei Zhang (19)

关键词：concurrency ; communication ; concurrent Kleene algebra ; semimodules ; specification ; algebraic approaches to concurrency

刊名：Lecture Notes in Computer Science

出版年：2014

5. Exploring an Interface Model for CKA

关键词：Concurrency ; Temporal logic ; Algebra ; Formal methods

刊名：Lecture Notes in Computer Science

出版年：2015

6. Developments in Concurrent Kleene Algebra

作者：Tony Hoare (19)
Stephan van Staden (20)
Bernhard M?ller (21)
Georg Struth (22)
Jules Villard (23)
Huibiao Zhu (24)
Peter O’Hearn (25)

刊名：Lecture Notes in Computer Science

出版年：2014

7. An Event Structure Model for Probabilistic Concurrent Kleene Algebra

作者：Annabelle McIver (19)
Tahiry Rabehaja (19) (20)
Georg Struth (20)

刊名：Lecture Notes in Computer Science

出版年：2013

8.Concurrent Kleene Algebra

作者：C. A. R. Tony Hoare ; Bernhard M?ller ; Georg Struth ; Ian Wehrman

刊名：Lecture Notes in Computer Science

出版年：2009

9.Foundations of Concurrent Kleene Algebra

作者：C. A. R. Hoare ; Bernhard M?ller ; Georg Struth ; Ian Wehrman

刊名：Lecture Notes in Computer Science

出版年：2009

1

按检索点细分(9)

题名(6)

关键词(4)

文摘(7)

按出版年细分(9)

2017年(1)

2016年(1)

2015年(1)

2014年(3)

2013年(1)

2009年(2)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.