1 paper · 1 filter
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…