Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1109/TOOLS.1997.681874 | TOOLS (25) |
Keywords | Field | DocType |
class-based models,dynamic interaction structure,concurrent system,method sharing,formal foundation,network topology,multiple inheritance,mobile agent,concurrent object system,class-based model,pi calculus,concurrency | Pi calculus,Concurrency,Computer science,Theoretical computer science,Network topology,Ambient calculus,Semantics,Multiple inheritance | Conference |
ISBN | Citations | PageRank |
0-8186-8485-2 | 2 | 0.37 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Xiaogang Zhang | 1 | 2 | 0.71 |
| John Potter | 2 | 289 | 50.46 |