Hidden Algebra
A semantic framework for formalizing distributed, concurrent object-oriented system, so that verifying their behavior is much-simplified. See the home page or CafeOBJ, which implements the semantics.This page is linked from: Learning Lounge