Class-based models in the /spl pi/-calculus

Abstract

The /spl pi/-calculus provides a formal foundation for processes with dynamic interaction structures, appropriate for modeling concurrent systems with changing network topologies, and mobile agents. Not surprisingly then, it has attracted the interest of researchers wishing to formalize models for concurrent object systems. To date, most such models have been object based. We present a class based model in the /spl pi/-calculus, which captures both the semantics of method sharing for classes, as well as multiple inheritance.