About: Actor model and process calculi

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Actor model and process calculi Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FActor_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 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 cross-references, acknowledgments, and reciprocal citations (see Actor model and process calculi history).

Attributes	Values
rdfs:label	Actor model and process calculi (en)
rdfs:comment	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 cross-references, acknowledgments, and reciprocal citations (see Actor model and process calculi history). (en)
dcterms:subject	Actor model (computer science) Process calculi
Wikipage page ID	2195909 (xsd:integer)
Wikipage revision ID	1109764683 (xsd:integer)
Link from a Wikipage to another Wikipage	Prentice Hall Robin Milner CAR Hoare Denotational semantics Andrew D. Gordon Unbounded nondeterminism Three-phase commit protocol Communicating Sequential Processes Concurrency (computer science) Law of nature Process calculi Livelock Communication channel Computer science Denotational semantics of the Actor model Physics Actor model and process calculi history Actor model theory Actor model (computer science) Timeout (telecommunication) Tony Hoare Domain theory Irene Greif Actor model Actor model and process calculi Akinori Yonezawa Algebra Ambient calculus Carl Hewitt Henry Baker (computer scientist) Process calculi Two-phase commit protocol FIFO (computing and electronics) C.A.R. Hoare Resource starvation Pi-calculus
Link from a Wikipage to an external page	http://formal.cs.uiuc.edu/papers/ATactors_festschrift.pdf%7Ctitle http://www.pcs.usp.br/~coin-aamas06/10_commitment-43_16pages.pdf http://www.usingcsp.com/ http://www.wotug.org/occam/ https://archive.org/details/theorypracticeof00rosc https://web.archive.org/web/20040420064252/http:/formal.cs.uiuc.edu/papers/ATactors_festschrift.pdf%7Carchive-date https://web.archive.org/web/20050914011858/http:/www.ai.mit.edu/research/publications/publications https://web.archive.org/web/20060919015756/http:/www.lcs.mit.edu/publications/pubs/pdf/MIT-LCS-TR-194.pdf https://www.sciencedirect.com/science/article/pii/030439759290182F/pdf%3Fmd5=df5cd36c03b026c17efdd2835f662903&isDTMRedir=Y&pid=1-s2.0-030439759290182F-main.pdf&_valck=1 https://dspace.mit.edu/handle/1721.1/6935
sameAs	Actor model and process calculi Actor model and process calculi Actor model and process calculi
dbp:wikiPageUsesTemplate	dbt:Citation dbt:Harv dbt:Harvid dbt:POV_check dbt:Copied_to_Wikibooks
has abstract	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): * There is only one Actor model (although it has numerous formal systems for design, analysis, verification, modeling, etc.); there are numerous process calculi, developed for reasoning about a variety of different kinds of concurrent systems at various levels of detail (including calculi that incorporate time, stochastic transitions, or constructs specific to application areas such as security analysis). * The Actor model was inspired by the laws of physics and depends on them for its fundamental axioms, i.e. physical laws (see Actor model theory); the process calculi were originally inspired by algebra. * Processes in the process calculi are anonymous, and communicate by sending messages either through named channels (synchronous or asynchronous), or via ambients (which can also be used to model channel-like communications). In contrast, actors in the Actor model possess an identity, and communicate by sending messages to the mailing addresses of other actors (this style of communication can also be used to model channel-like communications—see below). The publications on the Actor model and on process calculi have a fair number of cross-references, acknowledgments, and reciprocal citations (see Actor model and process calculi history). (en)
prov:wasDerivedFrom	wikipedia-en:Actor_model_and_process_calculi?oldid=1109764683&ns=0
page length (characters) of wiki page	25583 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Actor_model_and_process_calculi
is Link from a Wikipage to another Wikipage of	Concurrent Haskell Actor model and process calculi history Actor model implementation Actor model theory Actor model Actor model and process calculi Actor model later history Actor model middle history Process calculus
is foaf:primaryTopic of	wikipedia-en:Actor_model_and_process_calculi

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software