机译:时间投影在交错并发中的应用
Newcastle Univ Sch Comp Sci Newcastle Upon Tyne NE1 7RU Tyne &
Wear England;
Inst Math &
Informat Dept Algebra &
Log Sofia Bulgaria;
Interleaving concurrency; Interval temporal logic; Temporal projection; Time granularities; Stutter invariance;
机译:时间投影在交织并发中的应用
机译:使用定性和定量的时间关系识别交错和并发的活动
机译:时间并发约束编程:符号,逻辑和应用
机译:时间投影在交错并发中的应用
机译:交错持久性模块的比较框架和持久均质性在流体动力学问题中的应用
机译:通过在9.4特斯拉的交错激励和柔性扭曲投影成像读数轨迹(简单的TPI)通过同时成像人头的PCR / ATP比率映射。
机译:时间投影对交错并发的应用