A model of concurrency with fair merge and full recursion
denotational semantics for non-deterministic languages
scientific article; zbMATH DE number 4211489
scientific article