Desynchronizing Synchronous Programs by Modes.

Jens Brandt Mike Gemunde Klaus Schneider

Published in: ACSD (2009)

Keyphrases

intermediate level
computer programs
fixpoint
real world
information retrieval
decision making
multimedia
multiscale
object oriented
control structures