迪帕克·D’Souza；蒂亚加拉扬，P.S。 乘积区间自动机：时间自动机的一个子类。 （英语） Zbl 0958.68087号 Pandu Rangan，C.（编辑）等人，《软件技术和理论计算机科学基础》。第19次会议，印度钦奈，1999年12月13日至15日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1738, 60-71 (1999). 摘要：我们确定了时间自动机的一个子类并发展了它的理论。这些自动机称为产品间隔自动机，由定时代理网络组成。关键的限制是每个代理只有一个时钟，时钟的读取和重置方式由代理之间共享操作的分布决定。我们表明，生成的自动机在逻辑和语言理论方面都承认一个干净的理论。事实证明，对这些时间自动机的研究可以利用被称为Mazurkiewicz迹的丰富的偏序理论。一个重要的结果是，为时间自动机开发的部分降阶技术可以很容易地应用于与自动机相关的验证任务。事实上，即使是产品区间自动机（称为分布式区间自动机）的扩展，我们也预计会出现这种情况。关于整个系列，请参见[Zbl 0931.00044号]. 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：乘积区间自动机 PDF格式BibTeX公司 XML格式引用 \textit{D.D'Souza}和\textit{P.S.Thiagarajan}，莱克特。注释计算。科学。1738、60-71（1999年；Zbl 0958.68087）