Process Algebra Approaches to Collective Dynamics

Research output

Research output per year 2006 2009 2010 2013

• 12 Article
• 9 Conference contribution
• 2 Chapter (peer-reviewed)

Research output per year

Research output per year

Search results

• 2013

  Continuous approximation of collective system behaviour: A tutorial

  Bortolussi, L., Hillston, J., Latella, D. & Massink, M., 1 May 2013, In: Performance Evaluation. 70, 5, p. 317-349 33 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Continuous Approximation 100%
  • System Behavior 100%
  • Behavior 100%
  • Approximation 100%
  • Markov Chain 100%
• 2012

  Fluid Rewards for a Stochastic Process Algebra

  Tribastone, M., Ding, J., Gilmore, S. & Hillston, J., Aug 2012, In: IEEE Transactions on Software Engineering. 38, 4, p. 861-874 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Stochastic Process 100%
  • Process Algebra 100%
  • Models 100%
  • Approximation (Algorithm) 40%
  • Functions 40%

• Stochastic Process Algebras: From Individuals to Populations

  Hillston, J., Tribastone, M. & Gilmore, S., Jul 2012, In: The Computer Journal. 55, 7, p. 866-881 16 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Stochastic Process 100%
  • Process Algebra 100%
  • Models 100%
  • Time Markov Chain 33%
  • Data Structure 33%

• Scalable Differential Analysis of Process Algebra Models

  Tribastone, M., Gilmore, S. & Hillston, J., 2012, In: IEEE Transactions on Software Engineering. 38, 1, p. 205-219 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Process Algebra 100%
  • Approximation (Algorithm) 100%
  • Models 100%
  • Stochastic Process 50%
  • Software Systems 50%
• 2010

  Evaluating the Response Time of Large Scale Content Adaptation Systems using Performance Evaluation Process Algebra

  Ding, J., Hillston, J. & Laurenson, D., May 2010, Proceedings of the International Conference on Communications. p. 1-5 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Process Algebra 100%
  • Performance Evaluation 100%
  • User 50%
  • Evaluation 50%
  • Systems Performance 50%

• Bio-PEPA for Epidemiological Models

  Ciocchetta, F. & Hillston, J., 2010, In: Electronic Notes in Theoretical Computer Science. 261, p. 43-69 27 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Simulation 100%
  • Populations 100%
  • Evolution 100%
  • Networks 50%
  • Position (Location) 50%

• Hybrid Semantics for PEPA

  Bortolussi, L., Galpin, V., Hillston, J. & Tribastone, M., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the . Institute of Electrical and Electronics Engineers (IEEE), p. 181-190 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Semantics 100%
  • Stochastic Process 66%
  • Process Algebra 33%
  • Accuracy 33%
  • Approximation (Algorithm) 33%

• Investigating modularity in the analysis of process algebra models of biochemical systems

  Ciocchetta, F., Guerriero, M. L. & Hillston, J., 2010, Proceedings Third Workshop From Biology To Concurrency and Back. Merelli, E. & Quaglia, P. (eds.). Vol. 19. p. 55-69 15 p. (EPTCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Process Algebra 100%
  • Modularity 100%
  • Models 100%
  • Modeling 60%
  • Stochastic Process 40%

• Modelling and analysis of the NF-κB pathway in Bio-PEPA

  Ciocchetta, F., Degasperi, A., Hillston, J. & Heath, J., 2010, Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies. Springer, Vol. XII. p. 229-262 34 p. (Lecture Notes in Computer Science; vol. 5945).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  • Models 100%
  • Alternative Complement Pathway C3 C5 Convertase 100%
  • Nuclear Factor 100%
  • External Stimulus 60%
  • Behavior (Neuroscience) 60%

• Verification and Testing of Biological Models

  Clark, A., Gilmore, S., Hillston, J. & Kemper, P., 2010, Simulation Conference (WSC), Proceedings of the 2010 Winter . Institute of Electrical and Electronics Engineers (IEEE), p. 620-630 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Testing 100%
  • Models 100%
  • Simulation 33%
  • Developing Model 33%
  • Cardinality 33%
• 2009

  Improved Continuous Approximation of PEPA Models Through Epidemiological Examples

  Benkirane, S., Hillston, J., McCaig, C., Norman, R. & Shankland, C., 1 Feb 2009, In: Electronic Notes in Theoretical Computer Science. 229, 1, p. 59-74 16 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Evaluation 100%
  • Performance 100%
  • Algebra 100%
  • Approximation 100%
  • Process Algebra 100%

• Bio-PEPA: A framework for the modelling and analysis of biological systems

  Ciocchetta, F. & Hillston, J., 2009, In: Theoretical Computer Science. 410, 33-34, p. 3065-3084 20 p.

  Research output: Contribution to journal › Article › peer-review

  • Languages 100%
  • Bionics 100%
  • Biological System 100%
  • Models 100%
  • Revisions 50%

• 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, p. 189-204 16 p. (Lecture Notes in Computer Science; vol. 5688).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Discretization 100%
  • Number 50%
  • Step Size 50%
  • Process Algebra 50%
  • Models 50%

• HYPE: a process algebra for compositional flows and emergent behaviour

  Galpin, V., Bortolussi, L. & Hillston, J., 2009, CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Bravetti, M. & Zavattaro, G. (eds.). Springer, p. 305-320 16 p. (Lecture Notes in Computer Science; vol. 5710).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Process Algebra 100%
  • Emergent Behavior 100%
  • Flow 100%
  • Algebra 100%
  • Behavior 100%

• Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems

  Ciocchetta, F., Gilmore, S., Guerriero, M. L. & Hillston, J., 2009, In: Electronic Notes in Theoretical Computer Science. 232, p. 17-38 22 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Model Checking 100%
  • Simulation 100%
  • Stochastic Simulation 75%
  • Models 50%
  • Representation 25%

• Process Algebra Modelling Styles for Biomolecular Processes

  Calder, M. & Hillston, J., 2009, Transactions on Computational Systems Biology XI. Springer, p. 1-25 25 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  • Process Algebra 100%
  • Modeling 100%
  • In-Process 33%
  • Design 33%
  • Modelers 33%

• Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

  Ciocchetta, F., Degasperi, A., Hillston, J. & Calder, M., 2009, In: Electronic Notes in Theoretical Computer Science. 229, 1, p. 145-163 19 p.

  Research output: Contribution to journal › Article › peer-review

  • Models 100%
  • Operators (Mathematics) 100%
  • Networks 33%
  • Behavior 33%
  • Granularity 16%
• 2008

  Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

  Bradley, J. T., Gilmore, S. & Hillston, J., 1 Sept 2008, In: Journal of Computer and System Sciences. 74, 6, p. 1013-1032 20 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Process Algebra 100%
  • Internet 100%
  • Approximation (Algorithm) 100%
  • Worms 100%
  • State Space 100%

• Relating continuous and discrete PEPA models of signalling pathways

  Geisweiller, N., Hillston, J. & Stenico, M., Sept 2008, In: Theoretical Computer Science. 404, 1-2, p. 97-111 15 p.

  Research output: Contribution to journal › Article › peer-review

  • Signaling Pathway 100%
  • Models 100%
  • Semantics 75%
  • Ordinary Differential Equation 50%
  • Time Markov Chain 25%

• HYPE applied to the modelling of hybrid biological systems

  Galpin, V., Hillston, J. & Bortolussi, L., 2008, In: Electronic Notes in Theoretical Computer Science. 218, p. 33-51 19 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Hybrid 100%
  • Mathematical Model 100%
  • Biological System 100%
  • Behavior 100%
  • Model 75%
• 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, p. 32-47 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Yeast 100%
  • Ribosomal RNA 100%
  • Processing 100%
  • Ribosome RNA 100%
  • Enalapril Maleate 100%
• 2006

  Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

  Calder, M., Gilmore, S. & Hillston, J., 2006, Transactions on Computational Systems Biology VII. Priami, C., Ingolfsdottir, A., Mishra, B. & Riis Nielson, H. (eds.). Springer, p. 1-23 23 p. (Lecture Notes in Computer Science; vol. 4230).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Mitogen Activated Protein Kinase 100%
  • Phosphatidylethanolamine Binding Protein 100%
  • Reagent 50%
  • Biological Product 50%

• Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods

  Calder, M., Duguid, A., Gilmore, S. & Hillston, J., 2006, Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings. Priami, C. (ed.). Springer, p. 63-77 15 p. (Lecture Notes in Computer Science; vol. 4210).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Discrete State 100%
  • Modeling 100%
  • Computational 100%
  • State 100%
  • Computational Modeling 100%