Comment on Colored Petri Nets, LLMs, and distributed applicationsparentComments−nickpsecurity6moThere were a number of methods for doing TLA-like stuff. Others included SPIN/Promela, Pi Calculus (IIRC), and Event-B.
Comments
There were a number of methods for doing TLA-like stuff. Others included SPIN/Promela, Pi Calculus (IIRC), and Event-B.