A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine.

Ian Mackie Shinya Sato

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

abstract machine
user interaction
data model
human computer interaction
linear systems
databases
mobile robot
least squares
multiscale
linear complexity