Modular discrete-event systems; Supremal normal sublanguages; Coalgebra; Coinduction;
机译:对“离散事件系统及其至上子语言的相对可观察性”的更正
机译:离散事件系统及其至上子语言的相对可观性
机译:非确定性混合控制系统离散事件模型中的最高可控制子语言
机译:大型分布式离散事件系统的至尊普通子程
机译:分布式信息和分布式控制:来自随机系统和数据库管理的案例(查询优化,离散事件)
机译:亚语言语料库分析工具包:一种用于评估语料库的代表性和亚语言特征的工具
机译:大型分布式离散事件系统的至上正常子语言