|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|
Mean Field Equations
|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.|
|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.|
|from individuals to populations.pdf||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.
If you believe that any material held in STORRE infringes copyright, please contact firstname.lastname@example.org providing details and we will remove the Work from public display in STORRE and investigate your claim.