Modal Logic And Process Algebra by Alban Ponse