Author:Adrian Francalanza
 Keyphrasesactor systems2, adaptation, aspect-oriented programming, code instrumentation, Enforcement, Erlang2, label uniqueness, monitoring2, pi-calculus, private name, reduction semantics, runtime verification, Scoped channels, verification.  | 

