Π-calculus

Process calculus From Wikipedia, the free encyclopedia