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. |