Towards a standard family of languages for matching patterns in source codeU. DekelT. Cohenet al.2003SwSTE 2003
Self-stabilizing autonomic recoverer for eventual Byzantine softwareO. BrukmanS. Dolevet al.2003SwSTE 2003