A foundation for actor computation
From MaRDI portal
Recommendations
Cited in
(51)- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
- Asynchronous sequential processes
- Concurrency and knowledge-level communication in agent languages
- Composable semantic models for actor theories
- A first order logic of effects
- Actor languages. Their syntax, semantics, translation, and equivalence
- Actor theories in rewriting logic
- Verification of asynchronous systems with an unspecified component
- A hierarchy of equivalences for asynchronous calculi
- An object based algebra for specifying a fault tolerant software architecture
- Trace and testing equivalence on asynchronous processes
- On distributability
- Dynamic structural operational semantics
- Behavioural semantics for asynchronous components
- Time analysis of actor programs
- A reduction semantics for direct-style asynchronous observables
- scientific article; zbMATH DE number 1686284 (Why is no real title available?)
- Statistical model checking for composite actor systems
- Plan in Maude specifying an active network programming language
- Comparing three coordination models: Reo, ARC, and RRD
- Actors: A model for reasoning about open distributed systems
- Actors as a coordinating model of computation
- scientific article; zbMATH DE number 176504 (Why is no real title available?)
- scientific article; zbMATH DE number 1231550 (Why is no real title available?)
- scientific article; zbMATH DE number 1304364 (Why is no real title available?)
- Proof-theoretic foundations for the design of actor systems
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- scientific article; zbMATH DE number 1490021 (Why is no real title available?)
- A semantics preserving actor translation
- A programming model and foundation for lineage-based distributed computation
- Modeling concurrent systems: actors, nets, and the problem of abstraction and composition
- scientific article; zbMATH DE number 897898 (Why is no real title available?)
- What is computation? Actor model versus Turing's model
- Scalable termination detection for distributed actor systems
- A scalable algorithm for decentralized actor termination detection
- The ARC programming model -- language constructs for coordination
- Coordinating asynchronous and open distributed systems under semiring-based timing constraints
- Compositional schedulability analysis of real-time actor-based systems
- scientific article; zbMATH DE number 7056232 (Why is no real title available?)
- The network as a language construct
- Decidability problems for actor systems
- Decidability problems for actor systems
- Comparing three coordination models: Reo, ARC, and PBRD
- A model of actors and grey failures
- Types for progress in actor programs
- Equivalence of computations in actor grammars
- Toward parametric verification of open distributed systems
- PMaude: rewrite-based specification language for probabilistic object systems
- Behavioral interface description of an object-oriented language with futures and promises
- Creol: A type-safe object-oriented model for distributed concurrent systems
- A thread calculus with molecular dynamics
This page was built for publication: A foundation for actor computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4339018)
