并发MetateM-一流百科

并发MetateM

并发MetateM并发MetateM是一种多代理语言，在这种语言中，每个代理都是用一组它应该表现的行为的（增强的）时间逻辑规范来编程的。这些规范被直接执行以产生...