Research output

Article in Journal ()

From Individuals to Populations: a mean field semantics for process algebra

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.

Keywords
Process Algebra; Mean Field Equations; Semantics

Subject headings
Parallel processing (Electronic computers); Population dynamics

StatusPublished
AuthorsMcCaig Chris, Norman Rachel, Shankland Carron
Publication date04/2011
URLhttp://www.sciencedirect.com/science/journal/03043975
PublisherElsevier
ISSN 0304-3975
LanguageEnglish

Journal
Theoretical Computer Science: Volume 412, Issue 17 (2011-04)

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal