A Coinductive Calculus of Component Connectors.

Farhad Arbab Jan J. M. M. Rutten

Published in: WADT (2002)

Keyphrases

real time
machine learning
data structure
database
information retrieval