Class-Based Models in the -Calculus

Melbourne, Austrailia November 24-November 28

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681874

Technology of Object-Oriented Languag ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Xiaogang Zhang Articles by John Potter

	ASCII Text	x
	Xiaogang Zhang, John Potter, "Class-Based Models in the -Calculus," Technology of Object-Oriented Languages, International Conference on, pp. 238, Technology of Object-Oriented Languages and Systems - Tools-25, 1997.

	BibTex	x
	@article{ 10.1109/TOOLS.1997.681874, author = {Xiaogang Zhang and John Potter}, title = {Class-Based Models in the -Calculus}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1997}, isbn = {0-8186-8485-2}, pages = {238}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681874}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Technology of Object-Oriented Languages, International Conference on TI - Class-Based Models in the -Calculus SN - 0-8186-8485-2 SP EP A1 - Xiaogang Zhang, A1 - John Potter, PY - 1997 KW - pi-calculus KW - concurrency KW - object models KW - class-based KW - multiple inheritance VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.