Actor languages. Their syntax, semantics, translation, and equivalence
From MaRDI portal
Publication:1575845
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)
68Q45: Formal languages and automata
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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