AMMDI is an open-notebook hypertext writing experiment, authored by Mike Travers aka mtraven. It's a work in progress and some parts are more polished than others. Comments welcome! More.
Imagine interactive software that aided humans in designing or analyzing protocols, in the largest sense. What would that look like?
Is it even a good idea? Real protocols are emergent, not designed. Real protocols involve tight interactions with reality, and a computer that builds an elaborate formalism is missing the point.
ACK: The original vision of Smalltalk, and later Playground/Vivarium