Modelling protein interaction in CCS

J. Baillie

Research output: Book/ReportOther report

23 Downloads (Pure)


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 languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1999

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire


Dive into the research topics of 'Modelling protein interaction in CCS'. Together they form a unique fingerprint.

Cite this