University of Hertfordshire

By the same authors

Modelling protein interaction in CCS

Research output: Book/ReportOther report


View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1999

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire


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.

ID: 97477