Login / Signup

On the verification of open distributed systems.

Mads DamLars-Åke Fredlund
Published in: SAC (1998)
Keyphrases
  • open distributed systems
  • model checking
  • databases
  • cooperative
  • multi agent systems
  • distributed systems
  • anomaly detection
  • intelligent agents
  • mental states