Modelling protein interaction in CCS

This is an account of the progress made to date in attempting to model proteins and their interaction as CCS agents under parallel composition. Some earlier work was done using CSP but that model ran into problems over catalysis- basically, the way CSP forces multiway synchronization rendered the model useless for this purpose.