AOT Lab -Dipartimento di Ingegneria dell'Informazione Parco Area delle Scienze 181/A, 43100 Parma, Italy;
机译:基于事件的操作语义和具有动作细化的实时并发过程的一致性结果
机译:通过迭代超级吡咯与初始线索引导弱化的语义细分
机译:BDI代理中目标生命周期的操作语义
机译:具有动作细化功能的实时流程的操作语义
机译:估计通信和代理损耗不确定的分布式系统中代理的运行状态。
机译:迭代构建的OMIT地图:通过迭代模型构建和完善而不会引起模型偏差的地图改进
机译:动作细化的因果操作语义