Automata ; Decision theory ; Mathematical logic ; Set theory ; Israel;
机译:事件时钟自动机:定时自动机的可确定类
机译:基于蜂窝自动机的模拟地震事件的改进方法
机译:使用强制事件的定时自动机的非阻塞监控控制
机译:使用定时自动机为事件触发的实时系统检测复合事件中的设计错误
机译:组成混合离散事件系统和元胞自动机模型。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:事件时钟自动机:一类可确定的定时自动机
机译:事件和自动机的结构