1 paper
Guoxin Su, Mingsheng Ying, Chengqi Zhang
The scenario-based specification of a large distributed system is usually naturally decomposed into various modules. The integration of specification modules contrasts to the paral…