ACM Transactions on Modeling and Computer Simulation (TOMACS): Volume 28 Issue 1, January 2018
Citation Count: 0
Downloads (6 Weeks): 19, Downloads (12 Months): 40, Downloads (Overall): 40
Full text available:
Formal languages like process algebras have been shown to be effective tools in modelling a wide range of dynamic systems, providing a high-level description that is readily transformed into an executable model. However, their application is sometimes hampered because the quantitative details of many real-world systems of interest are not ...
parameter estimation, probabilistic programming, stochastic modelling, Process algebra