In the embedded notebook below, I develop a computational essay concerning the implementation of a part of the spi-calculus in the Wolfram language. The notebook is based on these slides.