Modelling protein interaction in CCS

J. Baillie

Research output: Book/ReportOther report

23 Downloads (Pure)

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

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire
Volume331

Fingerprint

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

Cite this