BigActors: a model for structure-aware computation

Authors:
Eloi Pereira;Christoph M. Kirsch;João Borges de Sousa;Raja Sengupta
Affiliations:
UC Berkeley, CA;Univ. of Salzburg, Austria;Univ. of Porto, Portugal;UC Berkeley, CA
Venue:
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Year:
2013

Citing 11
Cited 1

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
Multiagent systems: a modern approach to distributed artificial intelligence

Multiagent systems: a modern approach to distributed artificial intelligence
Bigraphical Reactive Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Semantics for an Actor-Based Real-Time Language

WPDRTS '96 Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
Specification of Real-Time Interaction Constraints

ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
A foundation for actor computation

Journal of Functional Programming
Scala Actors: Unifying thread-based and event-based programming

Theoretical Computer Science
The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents
Towards Haskell in the cloud

Proceedings of the 4th ACM symposium on Haskell
Bigraphical models of context-aware systems

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures

Towards a bigraph-based model for context-aware adaptive systems

ECSA'13 Proceedings of the 7th European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a model of computation for structure-aware computing called the BigActor model. The model is a hybrid. It combines the Actor model [1] and the Bigraph model [10]. The contributions of this paper are an operational semantics, an example illustrating how the model supports the concise programming of a mobile agent working in a ubiquitous computing world, a query language enabling a bigActor to observe the world around it, and a definition giving semantics to the feedback loop in control theory in the context of this model. This is followed by three theorems showing how the operational semantics supports the programming of concurrent mobile agents in the semantics of feedback control.