19 citations · 34 across the 4 of their papers we have counts for
1 paper · 1 filter
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into…