Login / Signup

Operational Semantics for DKAL: Application and Analysis.

Yuri GurevichArnab Roy
Published in: TrustBus (2009)
Keyphrases
  • operational semantics
  • databases
  • cooperative