Login / Signup
Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics
Bas Luttik
Published in:
CoRR (2012)
Keyphrases
</>
semantic information
parallel processing
logic programming
decomposition method
data sets
general purpose
branch and bound
parallel implementation
decomposition methods
social networks
metadata
web services
formal semantics
parallel programming
hierarchical decomposition