Distributive Evaluations of -calculus

y Abstract In this paper we address the problem of encoding evaluation strategies for the-calculus into prime event structures. In order for this to be possible the derivation spaces yielded by the evaluation mechanism must be prime algebraic cpo's. This requirement is not met by permutation equivalence (the standard concurrent semantics with which-calculus… CONTINUE READING