Mohtalim

If you're still going ham and getting it, don't let up.
https://jonathan.pearce.name/mohtalim/

Process calculus

https://jonathan.pearce.name/mohtalim/viewtopic.php?f=5&t=3311