摘要：PSTMonitor: 基于概率会话类型的消息传递应用程序定量规范运行时验证工具
作者：Christian Bartolo Burl`o, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto
论文ID：2212.07329
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-12-16
PDF 下载： 英文版 中文版pdf翻译中