Frame-based process logics (1995)

by J A Bergstra, A Ponse
Venue:Modal Logic and Process Algebra