A Proof Rule for Multiple Coroutine Systems.

Published in: Inf. Process. Lett. (1976)

Keyphrases

complex systems
data sets
neural network
information systems
special case
probabilistic model
management system
computer systems
active databases