Modal Logic and Process Algebra