- Applied mathematics
- >
- Mathematical modeling
- >
- Models of computation
- >
- Actor model (computer science)

- Mathematics of computing
- >
- Formal methods
- >
- Models of computation
- >
- Actor model (computer science)

- Theoretical computer science
- >
- Formal methods
- >
- Models of computation
- >
- Actor model (computer science)

- Theoretical computer science
- >
- Theory of computation
- >
- Models of computation
- >
- Actor model (computer science)

Actor model theory

In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model. Actors are the primitives that form the basis of the Actor model of concurrent digital computation.

Indeterminacy in concurrent computation

Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation. Computation is an area in which indeterminacy is becoming increasingly important becau

Denotational semantics of the Actor model

The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b].

Futures and promises

In computer science, future, promise, delay, and deferred refer to constructs used for synchronizing program execution in some concurrent programming languages. They describe an object that acts as a

Actor model middle history

In computer science, the Actor model, first published in 1973, is a mathematical model of concurrent computation. This article reports on the middle history of the Actor model in which major themes we

Unbounded nondeterminism

In computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a request can become unbounded as a result of arbitratio

Actor model and process calculi

In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history. There are m

History of the Actor model

In computer science, the Actor model, first published in 1973, is a mathematical model of concurrent computation.

Actor model implementation

In computer science, Actor model implementation concerns implementation issues for the Actor model.

Scientific community metaphor

In computer science, the scientific community metaphor is a metaphor used to aid understanding scientific communities. The first publications on the scientific community metaphor in 1981 and 1982 invo

Actor model and process calculi history

The actor model and process calculi share an interesting history and co-evolution.

Actor model later history

In computer science, the Actor model, first published in 1973, is a mathematical model of concurrent computation. This article reports on the later history of the Actor model in which major themes wer

Actor model

The actor model in computer science is a mathematical model of concurrent computation that treats actor as the universal primitive of concurrent computation. In response to a message it receives, an a

Akka (toolkit)

Akka is a source-available toolkit and runtime simplifying the construction of concurrent and distributed applications on the JVM. Akka supports multiple programming models for concurrency, but it emp

© 2023 Useful Links.