Fritz Mayer-Lindenberg. Mathematical Abstraction in a Simple Programming Tool for Parallel Embedded Systems. In Victor Malyshkin, editor, Parallel Computing Technologies - 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings. Volume 11657 of Lecture Notes in Computer Science, pages 32-50, Springer, 2019. [doi]
Abstract is missing.