Login / Signup

Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes

Marco Bernardo
Published in: QAPL (2012)
Keyphrases
  • concurrent processes
  • higher level
  • data sets
  • genetic algorithm
  • search engine
  • data analysis
  • heuristic search
  • levels of abstraction
  • brute force