Deciding reachability problems in Turing-complete fragments of Mobile Ambients.

Nadia Busi Gianluigi Zavattaro

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

data sets
optimization problems
social networks
information systems
website
state space
np complete
benchmark problems
solving problems
databases
neural network
decision problems
combinatorial optimization