Processes and Process Communication in the Ada Programming Language