A Calculus of Contracting Processes.

Massimo Bartoletti Roberto Zunino

Published in: LICS (2010)

Keyphrases

process model
databases
machine learning
artificial intelligence
similarity measure
knowledge representation
computer algebra