Class-based models in the π-calculus

The π-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 π-calculus, which captures both the semantics of method sharing for classes, as well as multiple inheritance