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

Nicoletta De Francesco, Paola Inverardi

Browse the full CAV paper archive.