π-calculus

π-calculus

π-calculus: attempts to describe computation with a Petri-like model. 
