Sign in
Open Systems in TLA.
Martín Abadi
Leslie 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