Title: Modal and Temporal Properties of Processes / Edition 1, Author: Colin Stirling
Title: Modal Logic and Process Algebra, Author: Alban Ponse
Title: Modal Logic and Process Algebra: A Bisimulation Perspective, Author: Alban Ponse