Observation of guarded command programs.

Domitilla Del Vecchio Eric Klavins

Published in: CDC (2003)

Keyphrases

fixed point
decision procedures
databases
social networks
website
case study
learning environment
control system
fixpoint
control structures