A Formal Model of Forth Control Words in the Pi-Calculus.

James F. Power David Sinclair

Published in: J. Univers. Comput. Sci. (2004)

Keyphrases

formal model
control system
formal models
security properties
control method
keywords
wireless sensor networks
closed loop
word sense disambiguation