分布式时态逻辑相关论文
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念.针对这些问......
针对现有的分布式逻辑语言缺乏完整时态表达力等问题，将分布式时态逻辑谓词引入Datalog规则，提出TU-Datalog语言。该语言通过融入U-D......
