×

找到27份文件（结果1-27）

最新的 引文 关联
罗伯特·J·科尔文。

弱内存模型下数组和指针的细粒度语义。 （英语） Zbl 1529.68177号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14000, 301-320 (2023).
MSC公司：68问题85 第68页第19页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。票据计算。科学。14000，301-320（2023；Zbl 1529.68177）
全文： 内政部
工资制造者，贾纳；内特·福斯特；托比亚斯·卡佩；德克斯特·科赞；朱里安·罗特；亚历山德拉·席尔瓦

并发NetKAT。建模和分析有状态的并发网络。 （英语） Zbl 1528.68259号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13240, 575-602 (2022).
MSC公司：68问题85 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛J.Wagemaker｝等人，Lect。票据计算。科学。13240575--602（2022；Zbl 1528.68259）
全文： 内政部 arXiv公司
罗伯特·J·科尔文。

并行顺序组合和硬件弱内存模型。 （英语） Zbl 1522.68147号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085, 201-221 (2021).
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。票据计算。科学。13085，201-221（2021；Zbl 1522.68147）
全文： 内政部
格科·范·海尔特；托比亚斯·卡佩；朱里安·罗特；亚历山德拉·席尔瓦

学习pomset自动机。 （英语） Zbl 1516.68049号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12650, 510-530 (2021).
MSC公司：65年第68季度 68问题32 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.van Heerdt}等人，Lect。票据计算。科学。12650510-530（2021年；Zbl 1516.68049）
全文： 内政部 arXiv公司
罗宾·皮埃德鲁；法比奥·扎纳西

有限状态自动机的字符串图解公理化。 （英语） 兹伯利07410439

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12650, 469-489 (2021).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Piedeleu}和\textit{F.Zanasi}，莱克特。票据计算。科学。12650469--489（2021；Zbl 07410439）
全文： 内政部 arXiv公司
托比亚斯·卡佩；保罗·布鲁内特；朱里安·罗特；亚历山德拉·席尔瓦；工资制造者，贾纳；法比奥·扎纳西

带观察的克莱恩代数。 （英语） Zbl 07649949号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第41条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，LIPIcs——莱布尼茨国际程序。通知。140，第41条，第16页（2019；Zbl 07649949）
全文： 内政部 arXiv公司
托比亚斯·卡佩；保罗·布鲁内特；巴斯·卢提克；亚历山德拉·席尔瓦；法比奥·扎纳西

关于系列平行的pomset语言：合理性、上下文无关性和自动机。 （英语） Zbl 1417.68134号

J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).
MSC公司：68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，J.Log。阿尔盖布。方法计划。103、130-153（2019年；Zbl 1417.68134）
全文： 内政部 arXiv公司
达斯，阿努帕姆；Damien Pous

（Kleene+作用）（代数+格）的非完备性证明理论。 （英语） Zbl 1528.03234号

Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第19条，第18页（2018年）。
MSC公司：05年3月 03G25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Das}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。119，第19条，第18页（2018；Zbl 1528.03234）
全文： 内政部
阿米娜·杜马内；Damien Pous

无恒等Kleene格的完备性。 （英语） Zbl 1520.68055号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第18条，第17页（2018年）。
MSC公司：65年第68季度 70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Doumane}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。118，第18条，第17页（2018；Zbl 1520.68055）
全文： 内政部
托比亚斯·卡佩；保罗·布鲁内特；巴斯·卢提克；亚历山德拉·席尔瓦；法比奥·扎纳西

Brzozowski是并发的——pomset语言的Kleene定理。 （英语） Zbl 1442.68145号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条，第25条，第16页（2017年）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，LIPIcs——莱布尼茨国际程序。通知。85，第25条，第16页（2017年；Zbl 1442.68145）
全文： 内政部 arXiv公司
范·斯塔登（Stephan van Staden）

构建视图框架。 （英语） Zbl 1457.68070号

戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。8963, 62-83 (2015).
MSC公司：68号30 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.van Staden}，莱克特。票据计算。科学。8963，62-83（2015；Zbl 1457.68070）
全文： 内政部
乔治亚娜·卡尔泰斯

面向对象语言的基于表达式的别名。 （英语） Zbl 1328.68043号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。第三次国际研讨会，FTSCS 2014，卢森堡，2014年11月6-7日。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-17580-5/pbk；978-3-316-17581-2/电子书）。《计算机与信息科学通信》476，47-61（2015）。
MSC公司：第68页第19页 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{G.Caltais}，Commun（社区）。计算。信息科学。476、47-61（2015年；Zbl 1328.68043）
全文： 内政部 arXiv公司
范·斯塔登（Stephan van Staden）

关于可靠保证推理。 （英语） Zbl 1432.68321号

Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9129, 30-49 (2015).
MSC公司：68问题85 68问题55 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{S.van Staden}，莱克特。票据计算。科学。9129，30--49（2015；Zbl 1432.68321）
全文： 内政部
范·斯塔登（Stephan van Staden）；你好，托尼

代数统一了运算演算。 （英语） Zbl 1452.68056号

Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。7681, 88-104 (2013).
MSC公司：68号30 第68页第19页 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.van Staden}和\textit{T.Hoare}，莱克特。票据计算。科学。7681、88--104（2013；Zbl 1452.68056）
全文： 内政部
你好，托尼；范·斯塔登（Stephan van Staden）

编程法则统一了过程计算。 （英语） Zbl 1358.68064号

Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。《计算机科学讲义》7342，7-22（2012）。
MSC公司：第68页第19页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}和\textit{S.van Staden}，莱克特。票据计算。科学。7342，7--22（2012；Zbl 1358.68064）
全文： 内政部
普洛塔萨，维奥雷尔

单调布尔变换器代数。 （英语） Zbl 1349.68051号

Simao，Adenilso（编辑）等，《形式方法、基础和应用》。2011年9月26日至30日，巴西圣保罗，第14届巴西研讨会，SBMF 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25031-6/pbk）。计算机科学课堂讲稿7021140-155（2011）。
MSC公司：68号30 06E30年
PDF格式BibTeX公司 XML格式引用
\textit{V.Preoteasa}，莱克特。票据计算。科学。7021140-155（2011年；Zbl 1349.68051）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件