Nielson F, Nielson HR. From CML to process Algebras. DPB [Internet]. 1993 Mar. 1 [cited 2026 Feb. 4];22(433). Available from: https://tidsskrift.dk/daimipb/article/view/6750