A calculus of mobile processes, I
Information and Computation
A syntactic approach to type soundness
Information and Computation
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
Region streams: functional macroprogramming for sensor networks
DMSN '04 Proceeedings of the 1st international workshop on Data management for sensor networks: in conjunction with VLDB 2004
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
IEEE Intelligent Systems
Cells Are Plausible Targets for High-Level Spatial Languages
SASOW '08 Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops
Programming pervasive and mobile computing applications: The TOTA approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Dynamically Defined Processes for Spatial Computers
SASOW '10 Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Core operational semantics of Proto
Proceedings of the 2011 ACM Symposium on Applied Computing
Macro-programming wireless sensor networks using Kairos
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Programming an amorphous computational medium
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Pervasive ecosystems: a coordination model based on semantic chemistry
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Functional synthesis of genetic regulatory networks
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages
| Hi-index | 0.00 |
The Proto spatial computing language in Beal and Bachrach (2006) [1] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is challenging its coherence across different platforms and distributions. We thus present a complete operational semantics for the Proto language, as executed asynchronously on a network of fast message-passing devices. This semantics covers all of the operations of the three space-time operator families unique to Proto-restriction, feedback, and neighborhood-as well as the current pointwise operations that it shares with most other languages. This formalization will provide a reference to aid implementers in preserving language coherence across platforms, domains, and distributions. The formalization process has also advanced the Proto language in several ways, which we explain in detail.