Actor Model of Computation for Scalable Robust Information Systems: One IoT is No IoT1

Abstract : The Actor Model is a mathematical theory that treats “Actors” as the universal conceptual primitives of digital computation. Hypothesis: All physically possible computation can be directly implemented using Actors. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. The advent of massive concurrency through client-cloud computing and many-core computer architectures has galvanized interest in the Actor Model. Message passing using types is the foundation of system communication: •Messages are the unit of communication •Types enable secure communication with any Actor When an Actor receives a message, it can concurrently: •send messages to (unforgeable) addresses of Actors that it has; •create new Actors; •for an exclusive Actor, designate how to handle the next message it receives.
Type de document :
Communication dans un congrès
Symposium on Logic and Collaboration for Intelligent Applications,, Mar 2017, Stanford, United States. 〈http://www.collegepublications.co.uk/logic/?00030〉
Liste complète des métadonnées

Littérature citée [248 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01163534
Contributeur : Carl Hewitt <>
Soumis le : vendredi 11 août 2017 - 21:38:52
Dernière modification le : lundi 4 septembre 2017 - 17:54:25

Fichier

ActorModel-116.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01163534, version 7

Citation

Carl Hewitt. Actor Model of Computation for Scalable Robust Information Systems: One IoT is No IoT1. Symposium on Logic and Collaboration for Intelligent Applications,, Mar 2017, Stanford, United States. 〈http://www.collegepublications.co.uk/logic/?00030〉. 〈hal-01163534v7〉

Partager

Métriques

Consultations de
la notice

27

Téléchargements du document

92