Please use this identifier to cite or link to this item:
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:
Keywords: Process Algebra
Mean Field Equations
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.;
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.
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 SizeFormat 
from individuals to populations.pdfFulltext - Accepted Version402.97 kBAdobe PDFView/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

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.