Note
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