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ženo v:
Podrobná bibliografie
Vydáno v:Technology of Object Oriented Languages and Systems. 27th s. 381 - 386
Hlavní autoři: Zhang Qian, Li Weihua, Chen Shihong
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 1998
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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