Instantaneous Transitions in Esterel

Olivier Tardieu, Stephen A. Edwards. Instantaneous Transitions in Esterel. Electronic Notes in Theoretical Computer Science, 203(4):49-64, 2008. [doi]

Abstract

Abstract is missing.