s/\\\*P/PROMELA/g s/\\\*S/SPIN/g s/ synchronous/synchronous communication/ s/C|/C preprocessor/ s/CW // s/CW// s/Introduction to// s/The // s/\\f2// s/\\f1// s/spin -a/-a/ s/IH //