A survey of concurrent MetateM — The language and its applications

This publication has 8 references indexed in Scilit:

• Specifying and verifying distributed Intelligent systems
  Published by Springer Nature ,1993
• Concurrent MetateM — A language for modelling reactive systems
  Published by Springer Nature ,1993
• The Process Group Approach to Reliable Distributed Computing
  Published by Defense Technical Information Center (DTIC) ,1991
• Temporal logic programming
  Journal of Symbolic Computation, 1989
• Executing temporal logic: Review and prospects
  Lecture Notes in Computer Science, 1988
• Actors
  Published by MIT Press ,1986
• Broadcasting Sequential Processes (BSP)
  IEEE Transactions on Software Engineering, 1984
• Frameworks for Cooperation in Distributed Problem Solving
  IEEE Transactions on Systems, Man, and Cybernetics, 1981