Interpreting one Concurrent Calculus in Another.

Published in: Theor. Comput. Sci. (1990)

Keyphrases

mutual exclusion
computer algebra
real time
data mining
expert systems
automated deduction
concurrent programs
neural network
machine learning
genetic algorithm
information systems
e learning
sequent calculus
dynamically created
hybrid automata