Roper and Barter' s CSP. ["A Communicating Sequential Process Language and Implementation", T. Roper & J. Barter, Soft Prac & Exp 11(11):1215-1234 (Nov 1981)].

In addition suitable contents:
[ 2 ] [ ag ] [ al ] [ an ] [ ar ] [ at ] [ B ] [ C ] [ ca ] [ cat ] [ CSP ] [ E ] [ er ] [ es ] [ ge ] [ gu ] [ in ] [ io ] [ J ] [ mm ] [ mp ] [ mu ] [ N ] [ ng ] [ ni ] [ om ] [ op ] [ pe ] [ pl ] [ ro ] [ S ] [ Seque ] [ Sequent ] [ SP ] [ T ] [ ua ]