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.