Carlos Herrero, Javier Oliver

"Objects in Parallel Label-Selective lambda-calculus (LCEPOO)"

Abstract

LCEP is a calculus for modelling concurrent systems. The efforts to use it to represent object oriented features have been successfully treated in this paper. We present an operational semantics for a parallel object-oriented programming language by means of a phrase-by-phrase translation from the language into an extension of LCEP in which only a few changes from the original LCEP are made.

Postscript