https://bookem.ir/books/784037-Process-Algebra-for-Parallel-and-Distributed-Processing