Stargazer: understanding the π-calculus, visually

cs distributed systems