An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada

Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001. An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. In Johann Blieberger, Markus Bader, editors, Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. Volume 10300 of Lecture Notes in Computer Science, pages 137-152, Springer, 2017. [doi]

Abstract

Abstract is missing.