Concurrent CHECK Procedure Design