Proving Finiteness of CCS Processes by Non-Standard Semantics.

Nicoletta De Francesco Paola Inverardi Proving Finiteness of CCS Processes by Non-Standard Semantics. 55-80 1994 31 Acta Inf. 1 db/journals/acta/acta31.html#FrancescoI94