Summary: Semantic
Preserving
Deployments
A. D. Ames
Outline
Introduction
Tagged Systems
Composing
"Simple"
Networks
Composing
General
Networks
Conclusion
Homogenous Semantic Preserving Deployments
of Heterogenous Networks of Embedded
Systems
Aaron D. Ames, Alberto Sangiovanni-Vincentelli
and Shankar Sastry
University of California at Berkeley