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]

Authors

Olivier Tardieu

This author has not been identified. Look up 'Olivier Tardieu' in Google