Pontifícia Universidade Católica do Rio de Janeiro, Departamento de Informática; Série: Monografias em Ciência da Computaçao, No. 4/89, 1989.
Abstract: The paper proposes a formalization of the main concepts of object-oriented languages in terms of predicate/transition nets.
Keywords: object-oriented language; predicate/transition net.