A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991