• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.

Irek UlidowskiShoji Yuen
Published in: J. Log. Algebraic Methods Program. (2004)
Keyphrases
  • artificial intelligence
  • multiscale
  • language independent
  • database
  • data mining
  • learning algorithm
  • metadata
  • case study
  • expressive power
  • development process