Universal coalgebra: a theory of systems.

Jan J. M. M. Rutten

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

Keyphrases

computer systems
theoretical framework
real world
artificial intelligence
distributed systems
theoretical foundation
databases
website
similarity measure
search algorithm
complex systems
formal methods