Mapping Circus into CSP Sample Clauses

Mapping Circus into CSP. ‌ In Figure 7, we presented the overall idea of the strategy for mapping Cir- cus processes into CSP processes, which applies to a subset of feasible Cir- cus processes that can be mapped into CSP. First, we transform processes with encapsulated states and local variables into stateless processes using the memory model suggested in [NSM12]. In his work, Nogueira detaches state components and local variables from the processes and moves them to a sep- arate memory process that stores their values. The result is an equivalent process in which stateless processes communicate with a Memory process that encapsulates the original process components. Next, we provide a map- ping for stateless Circus processes into corresponding CSP processes. For simplicity, we consider: