Dynamic Tracing: a graphical language for rewriting protocols

Authors

Kris Brown

David I. Spivak