Finding:
Freebase
searching
Factz
searching
Articles
searching
Actor model and process calculi
freebase
| 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 many similarities between the two approaches, but also several differences (some philosophical, some technical): The publications on the Actor model and on process calculi have a fair number of... Read enhanced Wikipedia article |
-
close
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. -
close
Actor model and process calculi history
The Actor model and process calculi share an interesting history and co-evolution. Early work -
close
Actor model
In computer science, the Actor model is a mathematical model of concurrent computation that treats "actors" as the... an actor can make... more actors, send more... ... The original Communicating Sequential Processes model... the Actor model... on process names... (see Actor model and process calculi... -
close
Category:Actor model
Category:Process calculi ... Actor model -
close
Actor model implementation
In computer science, Actor model implementation concerns implementation issues for the Actor model. ... Actor model and process calculi -
close
Actor model theory
In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model. ... Actor model and process calculi -
close
History of the Actor model
In computer science, the Actor model, first published in 1973 (Hewitt et al. 1973), is a mathematical model of concurrent computation. ... Actor model and process calculi history -
close
Process calculus
The history monoid is the free object that is generically able to represent the histories of individual communicating processes. ... The use of channels for communication is one of the features distinguishing the process calculi from other models of concurrency, such as Petri nets and the Actor model (see Actor model and process calculi). -
close
Denotational semantics of the Actor model
In this way, the denotational semantics for process calculi and the Actor model provide a denotational semantics for "<expression1> + <expression2>" in terms of the semantics for <expression1> and <expression2>. ... Actor model -
close
Calculus of communicating systems
Actor model ... Process calculi
Explore the following pages on Powerset:
quillback_wikipedia_9.20100312:parse:serp:Actor\smodel\sand\sprocess\scalculi
Actor model and process calculi