Abstract
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.
| Original language | English |
|---|---|
| Publisher | University of Hertfordshire |
| Publication status | Published - 1999 |
Publication series
| Name | UH Computer Science Technical Report |
|---|---|
| Publisher | University of Hertfordshire |
| Volume | 331 |