Dave Clarke, David Costa, Farhad Arbab. Modelling Coordination in Biological Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Volume 4313 of Lecture Notes in Computer Science, pages 9-25, Springer, 2004. [doi]
Abstract is missing.