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

DOI10.1016/S0304-3975(99)00009-2zbMATH Open0954.68089MaRDI QIDQ1575845FDOQ1575845

Authors Ian A. Mason, Carolyn 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

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

Recommendations

• A semantics preserving actor translation
• A foundation for actor computation
• Actor theories in rewriting logic
• A formal, resource consumption-preserving translation of actors to Haskell
• scientific article; zbMATH DE number 1231550

Cites work

• scientific article; zbMATH DE number 3566182 (Why is no real title available?)
• scientific article; zbMATH DE number 1231550 (Why is no real title available?)
• scientific article; zbMATH DE number 2077122 (Why is no real title available?)
• A foundation for actor computation
• A semantics preserving actor translation
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Composable semantic models for actor theories
• Conditional rewriting logic as a unified model of concurrency
• Objects in the \(\pi\)-calculus
• Rewriting logic as a semantic framework for concurrency: a progress report
• The chemical abstract machine

Cited in

(15)

• scientific article; zbMATH DE number 897898 (Why is no real title available?)
• Decidability problems for actor systems
• Behavioural semantics for asynchronous components
• Comparing three coordination models: Reo, ARC, and RRD
• Comparing three coordination models: Reo, ARC, and PBRD
• A formalisation of Core Erlang, a concurrent actor language
• Correctness of a concurrent object collector for actor languages
• The network as a language construct
• Plan in Maude specifying an active network programming language
• A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
• Actor theories in rewriting logic
• A semantics preserving actor translation
• Decidability problems for actor systems
• A formal, resource consumption-preserving translation of actors to Haskell
• scientific article; zbMATH DE number 4049022 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575845)