Actor languages. Their syntax, semantics, translation, and equivalence
From MaRDI portal
Publication:1575845
Recommendations
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)