Sign in
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