STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/2817| Appears in Collections: | Computing Science and Mathematics Journal Articles |
| Peer Review Status: | Refereed |
| Title: | From Individuals to Populations: a mean field semantics for process algebra |
| Author(s): | McCaig, Chris Norman, Rachel Shankland, Carron |
| Contact Email: | ran@maths.stir.ac.uk |
| Keywords: | Process Algebra Mean Field Equations Semantics Parallel processing (Electronic computers) Population dynamics |
| Issue Date: | Apr-2011 |
| Date Deposited: | 29-Mar-2011 |
| Citation: | McCaig C, Norman R & Shankland C (2011) From Individuals to Populations: a mean field semantics for process algebra. Theoretical Computer Science, 412 (17), pp. 1557-1580. http://www.sciencedirect.com/science/journal/03043975; https://doi.org/10.1016/j.tcs.2010.09.024 |
| Abstract: | A new semantics in terms of Mean Field Equations is presented for WSCCS (Weighted Synchronous Calculus of Communicating Systems). The semantics captures the average behaviour of the system over time, but without computing the entire state space, therefore avoiding the state space explosion problem. This allows easy investigation of models with large numbers of components. The new semantics is shown to be equivalent to the standard Discrete Time Markov Chain semantics of WSCCS as the number of processes tends to infinity. The method of deriving the semantics is illustrated with examples drawn from biology and from computing. |
| URL: | http://www.sciencedirect.com/science/journal/03043975 |
| DOI Link: | 10.1016/j.tcs.2010.09.024 |
| Rights: | Published in Theoretical Computer Science by Elsevier. Theoretical Computer Science, Volume 412, Issue 17, April 2011, pp. 1557 - 1580.; This is the peer reviewed version of this article.; NOTICE: this is the author’s version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Theoretical Computer Science, VOL 412, ISSUE 17, (April 2011) DOI 10.1016/j.tcs.2010.09.024. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| from individuals to populations.pdf | Fulltext - Accepted Version | 402.97 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.