A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.

Georg Jung John Hatcliff A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. 33-42 2007 GPCE http://doi.acm.org/10.1145/1289971.1289979 conf/gpce/2007 db/conf/gpce/gpce2007.html#JungH07