Login / Signup

A Framework for Formal Reasoning about Open Distributed Systems.

Lars-Åke FredlundDilian Gurov
Published in: ASIAN (1999)
Keyphrases
  • formal model
  • multi agent
  • cooperative
  • theoretical framework
  • conceptual framework
  • open distributed systems