@INPROCEEDINGS{6604014,
  author={E. {Pereira} and C. M. {Kirsch} and R. {Sengupta} and J. B. {de Sousa}},
  booktitle={2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)}, 
  title={Bigactors — A model for structure-aware computation}, 
  year={2013},
  volume={},
  number={},
  pages={199-208},
  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.},
  keywords={concurrency control;control engineering computing;feedback;graph theory;mobile agents;mobile computing;query languages;structure-aware computing;bigraph model;concise programming;ubiquitous computing;query language;bigActor model;feedback loop;control theory;operational semantics;concurrent mobile agents;feedback control;Semantics;Computational modeling;Abstracts;Context;Concrete;Face},
  doi={},
  ISSN={},
  month={April},}
