|Title||Bigactors - A model for structure-aware computation|
|Publication Type||Conference Paper|
|Year of Publication||2013|
|Authors||Pereira, E, Kirsch, CM, Sengupta, R, de Sousa, JBorges|
|Conference Name||2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013|
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  and the Bigraph model . The contributions of this paper are an operational semantics, an example illustrating how themodel sup- ports 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.