Object-based concurrency : A process calculus analysis

Abstract

This paper investigates various object-based concepts in a process calculus framework. The principal motivation of this work lies in the need to formally analyze features exhibited by distributed object-based systems and languages. While the dimension of inheritance has been the focus of much attention lately, this paper focuses primarily on object-based features related to concurrency. A simple language is presented, together with its abstract syntax and semantics, that captures basic informal insights about the nature of object-based concurrency. Features analyzed in this paper comprise : object identity, object creation, object communication and object concurrency.