Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi