Concrete mathematics: a foundation for computer science
Concrete mathematics: a foundation for computer science
A brief history of process algebra
Theoretical Computer Science - Process algebra
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
On the Asymptotic Optimality of First-Fit Storage Allocation
IEEE Transactions on Software Engineering
Theoretical Computer Science
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Electronic Notes in Theoretical Computer Science (ENTCS)
Fighting State Space Explosion: Review and Evaluation
Formal Methods for Industrial Critical Systems
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
| Hi-index | 5.23 |
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.