Process algebra modelling styles for biomolecular processes

Calder, M. and Hillston, J. (2009) Process algebra modelling styles for biomolecular processes. Lecture Notes in Computer Science, 5750, pp. 1-25. (doi: 10.1007/978-3-642-04186-0_1)

[img] Text



We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed.

Item Type:Articles
Additional Information:The original publication is available at
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy
Authors: Calder, M., and Hillston, J.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Lecture Notes in Computer Science
ISSN (Online):1611-3349
Published Online:01 October 2009
Copyright Holders:Copyright © 2009 Springer
First Published:First published in Lecture Notes in Computer Science 5750:1-25
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

University Staff: Request a correction | Enlighten Editors: Update this record