Decidability Problems for Actor Systems.

Frank S. de Boer Mohammad Mahdi Jaghoori Cosimo Laneve Gianluigi Zavattaro

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

neural network
description logics
query answering
linear systems
management system
intelligent systems
database
information retrieval
search engine
computer vision
decision making
computational complexity
expert systems
distributed systems
np complete
decision problems