This paper introduces a constraint processing language called: SimSync to facilitate synchronization control in concurrent systems modeling.
確定! 回上一頁