Process conformance using CSP. - Sidharth Bihary; Jagadish Koneti; Suman Roy 001 (ISEC, 2012)