University of Udine, Department of Mathematics and Computer Science Viale delle Scienze 206, 33100 Udine, Italy;
bisimulation; fixed points; bisimulation quantifiers; MuCalculus;
机译:受保护的一阶逻辑的双仿真量词和均匀插值
机译:μ程序,模态逻辑的统一插值和双仿真量词
机译:关于传递框架上的双仿真量词和不动点的注记
机译:均匀插值,双刺激量词和固定点
机译:瞬态明渠流动特性的固定网格方法中的插值策略分析。
机译:在4D流MR数据中使用有限元插值对肺动脉和主动脉的血流动力学参数进行3D定量
机译:双重逻辑的Bisimulation量词和均匀插值
机译:完全axiomatisations的弱, - ,延迟和Eta - 双模拟过程211代数与数据的替代量化。软件工程