An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

DOI10.1007/978-3-540-39993-3_4zbMath1278.68064OpenAlexW1862663293MaRDI QIDQ5390273

Prasanna Thati, Gul A. Agha

Publication date: 1 April 2011

Published in: From Object-Orientation to Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-39993-3_4

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

On distributability ⋮ Modeling Actor Systems Using Dynamic I/O Automata ⋮ Coupled similarity: the first 32 years ⋮ The role of concurrency in an evolutionary view of programming abstractions ⋮ Declarative Programming with Algebra

Uses Software

• CHARM++
• Simula 67

This page was built for publication: An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language