Peter Van Roy mentioned this paper of which he is coauthor in the LtU recent discussion group thread on language design.
This detailed paper (~50 pp.) provides a technical introdcution and survey of Oz. It is a bit too long for casual reading, but many of the sections can be read independently, if you are willing to miss out on some of the details.
Some of the sections that should interest LtU readers are: (4) Concurrent logic programming; (7) The Oz exection model (esp. 7.4 - Computation spaces); and sections (8) and (9) that provide background for Oz project and language design approach.
Posted to logic/declarative by Ehud Lamm on 12/7/03; 5:46:59 AM