Actor languages. Their syntax, semantics, translation, and equivalence

DOI10.1016/S0304-3975(99)00009-2zbMath0954.68089MaRDI QIDQ1575845

Ian A. Mason, Carolyn L. Talcott

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

concurrent object languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (5)

Behavioural semantics for asynchronous components ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ Unnamed Item ⋮ Comparing Three Coordination Models: Reo, ARC, and RRD ⋮ Actor theories in rewriting logic

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• The chemical abstract machine
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Composable semantic models for actor theories
• Objects in the \(\pi\)-calculus
• A foundation for actor computation
• A semantics preserving actor translation
• Rewriting logic as a semantic framework for concurrency: a progress report
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Actor languages. Their syntax, semantics, translation, and equivalence