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

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

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
• [[:Publication:4222865|Title not available (Why is that?)]]

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 (7)

• Actor theories in rewriting logic
• Behavioural semantics for asynchronous components
• Plan in Maude specifying an active network programming language
• Title not available (Why is that?)
• Comparing three coordination models: Reo, ARC, and PBRD
• 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)