Communicating Processes

From the first principlesCommunicating processes of interaction of interaction we analyze ways and models that make some formal justification of communication schemes. We introduce generalized model Graph Logic ModelGraph logic model and demonstrate how concurrencyConcurrency and parallelismParallelism can be separated schematically. We compare power of known models of concurrencyConcurrency and parallelismParallelism. We have introduced new operator of separation concurrent processes: we call it fault tolerant semaphores. Further we introduce how parallelismParallelism and concurrencyConcurrency might be separated at the language level. We show the way of change the computer language to be able make concurrencyConcurrency and parallelismParallelism of our tasks correctly represented and e = further effectively executed.