A Kind of Reactive SPM and the Expression of Its Dynamic Semantics with XYZ

• 一种反应式SPM及其动态语义XYZ表示