Sign in

Open Systems in TLA.

Martín AbadiLeslie Lamport
Published in: PODC (1994)
Keyphrases
  • open systems
  • temporal logic
  • autonomous agents
  • multiagent systems
  • model checking
  • mobile communication
  • cognitive agents
  • artificial intelligence
  • software development
  • intelligent agents