The 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. In this paper, we present a class-based model in the pi-calculus, which captures both the semantics of method sharing for classes, as well as multiple inheritance.
Index Terms:
pi-calculus, concurrency, object models, class-based, multiple inheritance
Citation:
Xiaogang Zhang, John Potter, "Class-Based Models in the -Calculus," tools, pp.238, Technology of Object-Oriented Languages and Systems - Tools-25, 1997