Embracing the laws of Physics in the foundations of computation

Embedded computing bridges “abstract computing models” with the “physical world”. The laws of physics apply to both the environment and the computational model but they are heavily abstracted in models of computation. Conventional models of computation are often irreversible, sequential, non real-time, space agnostic, and are unaware of locality, energy, heat, etc. Each of these concerns is addressed in some work but they collectively do not have the place they deserve in the foundations of computation.