Coordination-Policy Based Composed System Behavior Derivation.

Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen

Browse the full APSEC paper archive.