Sign in
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