An Object Calculus for Asynchronous Communication

An Object Calculus for Asynchronous Communication (1991)

Cached

Download Links

[ftp.dcs.qmw.ac.uk]

Other Repositories/Bibliography

DBLP

by Kohei Honda , Mario Tokoro

Venue:	Proceedings of the European Conference on Object-Oriented Programming (ECOOP
Citations:	341 - 28 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	An Object Calculus for Asynchronous Communication	user correction - Legacy Corrections
AUTHOR NAME	Kohei Honda	SVM HeaderParse 0.1
AUTHOR AFFIL	y; Department of Computer Science,; Keio University,	SVM HeaderParse 0.2
AUTHOR ADDR	3-14-1 Hiyoshi, Kohoku-ku, Yokohama, 223,; Japan	SVM HeaderParse 0.1
AUTHOR NAME	Mario Tokoro	SVM HeaderParse 0.1
AUTHOR AFFIL	y; Department of Computer Science,; Keio University,	SVM HeaderParse 0.2
AUTHOR ADDR	3-14-1 Hiyoshi, Kohoku-ku, Yokohama, 223,; Japan	SVM HeaderParse 0.1
ABSTRACT	This paper presents a formal system based on the notion of objects and asynchronous communication. Built on Milner's work on ß-calculus, the communication primitive of the formal system is purely asynchronous, which makes it unique among various concurrency formalisms. Computationally this results in a consistent reduction of Milner's calculus, while retaining the same expressive power. Seen semantically asynchronous communication induces a surprisingly different framework where bisimulation is strictly more general than its synchronous counterpart. This paper shows basic construction of the formal system along with several illustrative examples. 1 Introduction The formal system introduced in this paper is intended to accomplish two purposes. First, it provides a simple and rigorous formalism which encapsulates essential features of concurrent object-orientation [26, 25]. Being successful as a programming methodology for dynamic concurrent computing, its theoretical contents are far f...	user correction - Legacy Corrections
YEAR	1991	INFERENCE
VENUE	Proceedings of the European Conference on Object-Oriented Programming (ECOOP	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	133--147	INFERENCE
VOLUME	512	INFERENCE
CITATIONS	26 found	ParsCit 1.0