The Concurrent Objects Calculus

Research in concurrent object-oriented programming languages has suffered from the lack of a widely accepted formal foundation for describing the semantics of concurrent object systems. Based on the /spl pi/-calculus and the actor model respectively, people have tried to define a common semantic fra...

Full description

Saved in:
Bibliographic Details
Published in:Technology of Object Oriented Languages and Systems. 27th pp. 381 - 386
Main Authors: Zhang Qian, Li Weihua, Chen Shihong
Format: Conference Proceeding
Language:English
Published: IEEE 1998
Subjects:
Algebra
Calculus
Computer languages
Concurrent computing
Educational technology
Electrical capacitance tomography
Message passing
Multimedia systems
Object oriented modeling
Programming profession
ISBN:9780818690969, 0818690968
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Research in concurrent object-oriented programming languages has suffered from the lack of a widely accepted formal foundation for describing the semantics of concurrent object systems. Based on the /spl pi/-calculus and the actor model respectively, people have tried to define a common semantic framework for concurrent object-oriented programming. In this paper, we try to compromise these two approaches. We define a formalism that enjoys a clean formal definition which allows the reuse of standard results of the theory of concurrency while preserving a high-level object-oriented programming style. We propose an actor algebra and a concurrent object calculus, and then we give the translation relationship between the two.
ISBN:9780818690969
0818690968
DOI:10.1109/TOOLS.1998.713622