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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Technology of Object Oriented Languages and Systems. 27th s. 381 - 386
Hlavní autori: Zhang Qian, Li Weihua, Chen Shihong
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 1998
Predmet:
Algebra
Calculus
Computer languages
Concurrent computing
Educational technology
Electrical capacitance tomography
Message passing
Multimedia systems
Object oriented modeling
Programming profession
ISBN:9780818690969, 0818690968
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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