Concurrent hybrid systems; Multiclock systems; Real time; Process algebra; Category theory;
机译:并发/实时和混合系统特节:理论与应用
机译:并发/实时和混合系统特别部分:理论与应用
机译:并发理论:用于计算非定时和定时并发系统的计算和自动机
机译:对多时钟系统并发混合时间系统的解释
机译:分布式数据库管理系统中的一致性控制方法的性能(时间戳排序,两阶段锁定,优化方案,重新启动,事务阻止)
机译:双稳态混合量子系统中的超长弛豫时间
机译:通过LMI(混合系统)计算混合自动机的Lyapunov函数(<特殊部分>并发系统和混合系统)
机译:非线性系统的时间序列解释。第58卷。1991年8月26日至30日在英格兰举行的IUTam研讨会和北约非线性机械系统时间序列解释高级研究讲习班的会议记录。