News
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results