loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Technology of Object-Oriented Languages and Systems - Tools-25
Class-Based Models in the -Calculus
Melbourne, Austrailia
November 24-November 28
ISBN: 0-8186-8485-2
Xiaogang Zhang, Macquarie University
John Potter, Macquarie University
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
Usage of this product signifies your acceptance of the Terms of Use.