Login / Signup

Process Algebra for Agent Communication: A General Semantic Approach.

Rogier M. van EijkFrank S. de BoerWiebe van der HoekJohn-Jules Ch. Meyer
Published in: Communication in Multiagent Systems (2003)
Keyphrases
  • agent communication
  • process algebra
  • high level
  • formal specification
  • natural language
  • multi agent systems
  • model checking
  • machine learning
  • multi agent