Representing and executing agent-based systems

This publication has 15 references indexed in Scilit:

• A survey of concurrent MetateM — The language and its applications
  Published by Springer Nature ,2005
• Towards a semantics for concurrent MetateM
  Published by Springer Nature ,1995
• Specifying and verifying distributed Intelligent 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
• Reliable communication in the presence of failures
  ACM Transactions on Computer Systems, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A really abstract concurrent model and its temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Actors
  Published by MIT Press ,1986
• The connection machine: A computer architecture based on cellular automata
  Physica D: Nonlinear Phenomena, 1984