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)

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

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)

Cites Work

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

Cited In (15)

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

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)