可达性约束下的接受规范商
摘要：基于标记接受规范（MAS）的规范理论中的商运算在规范理论中是至关重要的，因为它允许合成缺失的规范，从而实现增量设计。在本文中，我们考虑了一种基于接受集合和状态可达性约束所编码的变异信息的自动机（MAS）的规范理论。我们定义了一个完备且准确的MAS商运算，从而确保通过构造达到性质。
作者：Guillaume Verdier and Jean-Baptiste Raclet
论文ID：1411.6463
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-11-25