Traces for coalgebraic components.

Ichiro Hasuo Bart Jacobs

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

database
software components
machine learning
mobile devices
design patterns