TCSP: Theory of Communicating Sequential Processes.

Ernst-Rüdiger Olderog

Published in: Advances in Petri Nets (1986)

Keyphrases

constraint satisfaction problems
theoretical framework
temporal reasoning
neural network
artificial neural networks
search space
computational models
information theory
real time
knowledge representation
computational model
theoretical basis
human problem solving