Interval Temporal Logic; Box Algebra; Petri net; composition; semantics; general synchronisation; step sequence; equivalence;
机译:从盒代数到区间时间逻辑
机译:从框代数到间隔时间逻辑
机译:代数代数,区间时间逻辑和区间点
机译:框代数的间隔时间逻辑语义
机译:使用时间间隔逻辑指定分布式程序。
机译:基于可重构逻辑的新型低成本体系结构的实时代数导数估计
机译:Dyck代数,区间时间逻辑和区间的集合
机译:计算科学:Box代数的区间逻辑语义。