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
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
IEEE Intelligent Systems
Continuous Space-Time Semantics Allow Adaptive Program Execution
SASO '07 Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems
Proceedings of the 2008 ACM symposium on Applied computing
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)
Composable continuous-space programs for robotic swarms
Neural Computing and Applications
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
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
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
Operational semantics of proto
Science of Computer Programming
| Hi-index | 0.00 |
The Proto spatial computing language [6] 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 becoming a challenge to its coherence across different platforms and distributions. We thus present an operational semantics for a core subset of the Proto language. This semantics covers all the key operations of the three space-time operator families unique to Proto---restriction, feedback, and neighborhood---as well as a few of the pointwise operations that it shares with most other languages. Because Proto programs are distributed, we also present an operational semantics for their asynchronous execution across a network. This formalization will provide a reference to aid implementers in preserving language coherence across platforms, domains, and distributions.