A TLA+ Specification for Agent Communication that Enables Proofs.

Ioan Alfred Letia

Published in: Agents (1999)

Keyphrases

agent communication
multi agent
agent communication language
multi agent systems
agent architecture
formal specification
high level
temporal logic
theorem proving
specification language
speech acts
mobile learning
theorem prover