A Formal Framework for the Interaction of Physical Computing Devices with Abstract Computation - 42Papers