Lehrstuhl fuer Informatik II, RWTH Aachen, Germany;
机译:消息传递自动机在表达上等效于EMSO逻辑
机译:与均质流事件结构有关的EMSO逻辑和自动机
机译:Muller消息传递自动机和逻辑
机译:消息传递自动机表现相当于EMSO逻辑
机译:机械等效于混合自动机。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:消息传递自动机在表达上等效于EMSO逻辑