Verification of Orchestration Systems Using Compositional Partial Order Reduction.

Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong

Browse the full ICFEM paper archive.