Proving finiteness of CCS processes by non-standard semantics
scientific article; zbMATH DE number 567308