Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis