Flow models of distributed computations: Three equivalent semantics for CCS
scientific article; zbMATH DE number 708751