Decidability Problems for Actor Systems.

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

Published in: CONCUR (2012)

Keyphrases

linear systems
statistical machine learning
management system
problems involving
information systems
distributed systems
computer systems
real time
neural network
data mining
social networks
computer vision
state space
decision problems
solving problems