We introduce the function split, which splits a process p along a set of actions A into two processes: one of these processes contains no actions in Acts(p)\A, while the other process contains no actions in A. We call the former process the A-isolation of p and the latter process the A-coisolation of p.
Sep 6, 2012 · This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes contains no actions from 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 two processes along a set of actions A: roughly, one of these processes contains no actions from A, while the other ...
People also ask
What is the process of splitting?
This paper defines a new, local product operator on CA that avoids problems of semantics-preserving and identifies a sufficiently large class of CA for ...
Feb 1, 2016 · This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes contains no actions from A, ...
This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes contains no actions from A, while the other ...
A Procedure for Splitting Processes and its Application to Coordination · List of references · Publications that cite this publication.
We present a procedure for splitting processes in a process algebra with multiactions and data (the untimed subset of the specification language mCRL2).
We present a procedure for splitting processes in a process algebra with multiactions and data (the untimed subset of the specification language mCRL2).