A Port Graph Calculus for Autonomic Computing and Invariant Verification.

Oana Andrei Hélène Kirchner

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

Keyphrases

autonomic computing
computing systems
autonomic computing systems
multi user
e learning
computer systems
grid computing
control structure