费希尔-并发METATEM

AGENT0和PLACA的一个缺点是逻辑和解释编程语言之间的关系是只有松散定义：在这两种情况下，编程语言都不能说真的执行相关逻辑。并发费希尔开发的METATEM语言可以做出更有力的断言在这方面【费希尔，1994年】.并发METATEM系统包含多个并发执行代理，每个代理都是能够通过异步广播消息与其对等方通信经过。每个代理都是通过给它一个时序逻辑来编程的代理人预期的行为规范展示。代理的规范直接执行以生成其行为。代理程序的执行与迭代对应为时态代理规范构建逻辑模型。它是可以证明用于执行代理的过程规范是正确的，因为如果可以满足规范，则代理将执行此操作[Barringer等人，1989年].

并发元数据的逻辑语义是密切相关的时间逻辑本身的语义。这意味着另外，并发METATEM系统的规范和验证是一个现实的命题[Fisher和Wooldridge，1993年]。在在编写时，只有语言的原型实现是可用；预计很快就会全面实施。