Goto and Concurrency Introducing Safe Jumps in Esterel

Olivier Tardieu. Goto and Concurrency Introducing Safe Jumps in Esterel. Electronic Notes in Theoretical Computer Science, 153(4):55-70, 2006. [doi]

Abstract

Abstract is missing.