康斯坦蒂诺斯·马穆拉斯 确定性数据流和流处理的语义基础。 (英语) 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) 全文: 内政部
康斯坦蒂诺斯·马穆拉斯 基于Kleene代数的异常终止方程理论。 (英语) Zbl 1486.68043号 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 88-105 (2017).MSC公司:68号30 03C05号机组 2016年60月 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras},莱克特。注释计算。科学。10203、88--105(2017;Zbl 1486.68043) 全文: 内政部
康斯坦蒂诺斯·马穆拉斯 使用天使和恶魔不确定性的霍尔逻辑综合策略。 (英语) 兹比尔1445.03037 日志。方法计算。科学。 12,第3号,第6号论文,41页(2016年).MSC公司:03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras},日志。方法计算。科学。12,第3号,第6号论文,41页(2016;Zbl 1445.03037) 全文: 内政部 arXiv公司