Specifying and verifying distributed Intelligent systems

This publication has 8 references indexed in Scilit:

• The MCS multi-agent testbed: developments and experiments
  Published by Springer Nature ,1991
• Actors and agents as reflective concurrent objects: a MERING IV perspective
  IEEE Transactions on Systems, Man, and Cybernetics, 1991
• Temporal and Modal Logic
  Published by Elsevier ,1990
• MetateM: A framework for programming in temporal logic
  Published by Springer Nature ,1990
• MACE: A Flexible Testbed for Distributed AI Research
  Published by Elsevier ,1987
• A really abstract concurrent model and its temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Actors
  Published by MIT Press ,1986
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980