柯特林·迪马；拉诺特、拉格罗 分布式时间异步自动机。 （英语） 兹比尔1147.68556 Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711，185-200（2007）。 摘要：我们证明了分布式时间异步自动机类比时间自动机更具表现力，具有可判定的空性问题，在并集、级联、星形、洗牌和重命名下是封闭的，但在交集下不是封闭的。通过证明分布式时间异步自动机与shuffle正则表达式的一个子类及其相关的秒表自动机类等价，得到了闭包结果。关于整个系列，请参见[Zbl 1143.68007号]. 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}和\textit{R.Lanotte}，莱克特。注释计算。科学。4711、185-200（2007年；Zbl 1147.68556） 全文： 内政部