Reference: Saraiya, N. P. & Rice, J. P. The LAMINA Programming Model: A Worked Example. Knowledge Systems Laboratory, January, 1991.
Abstract: Lamina is an experimental programming framework that allows concurrent algorithms to be expressed using both value-oriented and reference-oriented styles. It provides mechanisms and syntax (as extensions to Common Lisp [Steele 84]) to describe and control concurrent computations so that their performance may be studied using the Simple/CARE architectural simulator [Delagi 88]. This paper describes the Lamina functional, object oriented message passing and shared variable programming models, along with a simple worked example of their use. It also describes the underlying primitive operations that support the models.
Full paper available as hqx.