Process Algebra Approaches to Collective Dynamics.

Filter
Conference contribution

Search results

  • 2009

    Equivalence and discretisation in Bio-PEPA

    Galpin, V. & Hillston, J., 2009, Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Degano, P. & Gorriero, R. (eds.). Springer-Verlag GmbH, p. 189-204 16 p. (Lecture Notes in Computer Science; vol. 5688).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The Bio-PEPA Tool Suite

    Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M. L. & Hillston, J., 2009, Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the. Institute of Electrical and Electronics Engineers (IEEE), p. 309-310 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2007

    Modelling yeast Pre-rRNA processing

    Ciocchetta, F., Hillston, J., Kos, M. & Tollervey, D., 2007, Computational Methods in Systems Biology, Proceedings. Calder, M. & Gilmore, S. (eds.). BERLIN: Springer-Verlag GmbH, p. 32-47 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution