同时定时端口自动机
摘要：一个新且强大的自动机类别被引入，这些自动机是明确的并发自动机，并允许非常简单的组合定义。这些自动机的创新之处在于它们具有时间同步的消息异步通信机制。时间同步是通过使用全局时钟实现的。消息异步是通过要求自动机对每个输入做出反应实现的。明确的并发是通过对每个转换进行标记来实现的，其中包含一组输入和输出消息。我们将这些自动机与使用相同通信机制的基于历史的方法进行了比较，并表明它们是等价的。
作者：Radu Grosu, Bernhard Rumpe
论文ID：1411.6027
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-11-25