×

找到14个文档（结果1-14）

最新的 引文 关联
康斯坦蒂诺斯·马穆拉斯;阿格尼索姆查托帕迪耶;王志福

用于高效在线时间监控的代数定量语义。 （英语） Zbl 1467.68088号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 330-348 (2021).
MSC公司：60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Mamouras}等人，Lect。注释计算。科学。12651、330-348（2021；Zbl 1467.68088）
全文： 内政部
塞尔吉奥·费奥·阿雷尼斯;米兰武吉诺维奇;伯恩德·韦斯特法尔

关于可实现的时间自动机。 （英语） Zbl 1511.68029号

Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。1213678-95（2020年）。
MSC公司：64岁以下 68号30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Feo-Arenis}等人，Lect。注释计算。科学。12136，78-95（2020；Zbl 1511.68029）
全文： 内政部
康斯坦蒂诺斯·马穆拉斯

确定性数据流和流处理的语义基础。 （英语） Zbl 1508.68069号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 394-427 (2020).
MSC公司：68号30 2010年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Mamouras}，莱克特。注释计算。科学。12075、394--427（2020年；Zbl 1508.68069）
全文： 内政部
维杰·萨拉斯瓦特;葡萄藤古普塔;拉德哈·贾加迪桑

TCC，有历史。 （英语） Zbl 1408.68038号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 458-475 (2014).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.Saraswat}等人，Lect。注释计算。科学。8464、458--475（2014年；Zbl 1408.68038）
全文： 内政部 arXiv公司
阿尔伯特·科恩;路易斯·曼德尔;佛罗伦萨高原;马克·普泽特

同步数据流系统中时钟的抽象。 （英语） Zbl 1286.68073号

Ramalingam，G.（编辑），《编程语言和系统》。第六届亚洲研讨会，2008年APLAS，印度班加罗尔，2008年12月9-11日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89329-5/pbk）。计算机科学课堂讲稿5356237-254（2008）。
MSC公司：68号30 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{A.Cohen}等人，Lect。注释计算。科学。5356、237--254（2008年；Zbl 1286.68073）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件