Full abstractness for a functional/concurrent language with higher-order value-passing /
Hartonas, Takis.
Hennessy, Matthew.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
1997.
Cover title.