Frame-based process logics