Derivation of Process Algebraic Models of Biochemical Systems