|Advisor:||Edward A. Lee|
The applicability of process networks to embedded systems can be improved by introducing a model of time. This enables modeling of real-time behavior.
My research involves extending this model of computation further to enable mutations of a network. This requires determining the rules on mutations that would keep the mutating network deterministic, or non-deterministic in some controlled way. I am also studying different ways in which non-determinism can arise because of different points of mutations. Mutating networks can be used to model applications with migrating code, agents, and arrivals and departures of customers and services.
 G. Kahn, "The semantics of a simple language for parallel programming," Info. Proc., pages 471-475, Stockholm, Aug., 1974.