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