Author:Gerardo Schneider

Keyphrases

active objects, conflict resolution, deontic logic, dynamic analysis, first-class futures, information flow, Information Security, Normative specification, static analysis, trace semantics, Wrappers.