A new roadmap for linking theories of programming and its applications on GCL and CSP
Keywords: ارتباط فرآیندهای متوالی; Linking theories of programming; Formal semantics; Program algebra; Guarded Command Language; Communicating Sequential Processes;