Simulating Taverna workflows using stochastic process algebras. by Curcin, V, Missier, P, Roure, D

LOng COvid Multidisciplinary consortium Optimising Treatments and servIces acrOss the NHS (LOCOMOTION): protocol for a mixed-methods study in the UK by Sivan, M, Greenhalgh, T, Darbyshire, JL, Mir, G, O'Connor, RJ, Dawes, H, Greenwood, D, O'Connor, D, Horton, M, Petrou, S, de Lusignan, S, Curcin, V, Mayer, E, Casson, A, Milne, R, Rayner, C, Smith, N, Parkin, A, Preston, N, Delaney, B