Login / Signup

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.

Jörg DeselGabriel JuhásRobert Lorenz
Published in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
  • partial order
  • operational semantics
  • partially ordered
  • total order
  • expert systems
  • intelligent systems
  • utility function