Tools
This page contains links to tools I've hacked together during the course of my work in the ComLab.
TransIt
Automatically create transition diagrams of CSP processes.
Authodox
Automatically detect excess authority in systems of interacting objects.