Question

I am relatively new to $\pi$-Caculus and have a doubt wrt sequential execution in In $\pi$-Calculus .

Does passing of common names over common channels shared between two Agents, represent a sequential execution ? so is the below reduction semantics correct if I have to represent a sequential execution between Agent A,B and C where A and B share common channel x and share data c' and similarly B and C share channel y?

\begin{equation} \begin{gathered} \label{eq23} \frac{A \xrightarrow{\overline{x}(c)} A' \quad B \xrightarrow{{x}(c').\overline{y}(c'')} B' \quad C \xrightarrow{y(c''')}C' \ } {A|B|C \xrightarrow{\tau} A'| B'\left\{c/c' \right\}|C'\left\{c''/c''' \right\}} \end{gathered} \end{equation}

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top