Kahn, Gilles; Plotkin, Gordon;
- Publisher: Elsevier BV
- Journal: volume 121,issue 1-2,pages187-277issn: 0304-3975
- Subject: Theoretical Computer Science | Computer Science(all) | Laboratory for Foundations of Computer Science
This paper introduces the theory of a particular kind of computation domains called concrete domains. The purpose of this theory is to find a satisfactory framework for the notions of coroutine computation and sequentiality of evaluation.