In previous versions of the CWB the usual practice was to build several different process algebras into the same executable, and then choose a process algebra by giving a command line argument. However, the amount of confusion this caused seemed more than it was worth. For now, you simply build one executable per process algebra. I have been thinking about things like being able to switch between process algebras at run time with appropriate translations of agents - if you have any ideas about what might be useful, let me know.

Back to CWB home page