×

找到5个文档(结果1-5)

关于程序正确性和错误性的代数。 (英语) Zbl 07670527号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 325-343 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发Kleene代数的发展。 (英语) Zbl 1344.68148号

Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2014年4月28日至5月1日,第14届国际会议,RAMiCS 2014,德国Marienstat。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-06250-1/pbk)。计算机科学课堂讲稿8428,1-18(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于并发进程的局部性和交换律。 (英语) Zbl 1343.68170号

Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901250-264(2011)。
MSC公司:68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于通信进程的分离逻辑语义。 (英语) Zbl 1286.68352号

Chen,Yixiang(编辑)等,《第一届信息学、计算与软件基础国际会议论文集》(FICS 2008),华东师范大学,中国上海,2008年6月3-6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记212,3-25(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

软件