Login / Signup

A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.

Héctor Ruíz BarradasDidier Bert
Published in: IFM (2005)
Keyphrases
  • intelligent agents
  • databases
  • machine learning
  • constraint satisfaction