Universal concurrent constraint programing: symbolic semantics and applications to security.

Carlos Olarte, Frank D. Valencia

Browse the full SAC paper archive.