Goto and Concurrency Introducing Safe Jumps in Esterel.

Olivier Tardieu

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

circuit design
markov chain
database systems
concurrency control
real world
learning algorithm
web services
face recognition
similarity measure
management system
fine grained
object oriented languages