戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 对无序流进行运行时验证。 （英语） Zbl 1433.68208号 ACM事务处理。计算。日志。 21，第1号，第5条，43页（2020年）。 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：克莱纳逻辑;运行时验证;分布式系统;流处理;时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，ACM Trans。计算。日志。21，第1号，第5条，43页（2020年；Zbl 1433.68208） 全文： 内政部 arXiv公司