定时对话 swMATH ID: 22153 软件作者: 鲁米亚娜·内科娃、劳拉·博奇、吉田信子 描述: Python中的定时对话API。多方对话的定时运行时监控。在[tMPST]中,我们提供了多方会话类型的实时扩展,用于在Python中验证和实施与时间相关的属性。此页面底部提供了原型实现。上下文和背景:(未定时)多方会话类型(MPST)已应用于现有的Python舞蹈会话验证框架中([1])。该框架使用Scribble嵌入OOI基础设施中,Scribble是MPST的实际化身,是全局协议的规范语言。 主页: 网址:http://www.doc.ic.ac.uk/~rn710/TimeApp.html 相关软件: SPY公司;LARVA公司;乱涂;奶牛;石溪;z3(零3);Uppaal公司 引用于: 1文件 3位作者引用 1 劳拉·博奇 1 鲁米亚纳内科娃 1 吉田、Nobuko 连载1篇 1 计算的形式方面 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文