States in Process Calculi.

Christoph Wagner Uwe Nestmann

Published in: EXPRESS/SOS (2014)

Keyphrases

real time
neural network
artificial intelligence
information systems
feature selection
knowledge base
case study