Abstract: This paper introduces a constraint processing language called: SimSync to facilitate synchronization control in concurrent systems modeling. We define the primitive elements of the language ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback