From individuals to populations: a mean field semantics for process algebra

Chris McCaig, R. Norman, C. Shankland

Research output: Contribution to journalArticle

12 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)1557–1580
Number of pages24
JournalTheoretical Computer Science
Volume412
Issue number17
DOIs
Publication statusPublished - Apr 2011

Keywords

  • individuals
  • populations
  • mean field semantics
  • process algebra

Fingerprint Dive into the research topics of 'From individuals to populations: a mean field semantics for process algebra'. Together they form a unique fingerprint.

Cite this