LCEP is a calculus for modeling concurrent systems. The efforts to use it to represent object-oriented features have been
successfully treated in previous papers, but some of the problems are unsolved for the lacks of the initial calculus. We present
LCMEP, an extension of LCEP which is able to represent the operational semantics of π-calculus and it supports also the commendable
characteristics of λ-calculus. By using the power of the calculus, it is possible to represent object-oriented programming
language features. We present an operational semantics for a parallel object-oriented programming language by means of a phraseby-
phrase translation from the language into LCMEP.
Keywords Concurrency - Extensions of λ-calculus - Object-Orientation - Process Algebra
This work was partially supported by CICYT, TIC 98-0445-C03-01.