-
1
-
-
47849118508
-
-
L. Bortolussi, Constraint-based approaches to stochastic dynamics of biological systems, PhD thesis, University of Udine, 2007
-
L. Bortolussi, Constraint-based approaches to stochastic dynamics of biological systems, PhD thesis, University of Udine, 2007
-
-
-
-
2
-
-
0035653172
-
Analysis of a multimedia stream using stochastic process algebras
-
Bowman H., Bryans J.W., and Derrick J. Analysis of a multimedia stream using stochastic process algebras. Comput. J. 44 4 (2001) 230-245
-
(2001)
Comput. J.
, vol.44
, Issue.4
, pp. 230-245
-
-
Bowman, H.1
Bryans, J.W.2
Derrick, J.3
-
3
-
-
84947923576
-
Derivation of passage-time densities in PEPA models using ipc: The Imperial PEPA compiler
-
Kotsis G. (Ed). University of Central Florida, IEEE Computer Society Press
-
Bradley J.T., Dingle N.J., Gilmore S.T., and Knottenbelt W.J. Derivation of passage-time densities in PEPA models using ipc: The Imperial PEPA compiler. In: Kotsis G. (Ed). MASCOTS '03, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems. University of Central Florida (October 2003), IEEE Computer Society Press 344-351
-
(2003)
MASCOTS '03, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
, pp. 344-351
-
-
Bradley, J.T.1
Dingle, N.J.2
Gilmore, S.T.3
Knottenbelt, W.J.4
-
4
-
-
47849108292
-
-
Jeremy T. Bradley, Jane Hillston, Using ODEs and continuous state-space approximation to analyse massively parallel process algebra models, Theoret. Comput. Sci. (2007), submitted for publication
-
Jeremy T. Bradley, Jane Hillston, Using ODEs and continuous state-space approximation to analyse massively parallel process algebra models, Theoret. Comput. Sci. (2007), submitted for publication
-
-
-
-
5
-
-
47849091007
-
-
Muffy Calder, Stephen Gilmore, Jane Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Gordon Plotkin (Ed.), Proceedings of Computational Methods in Systems Biology, CMSB 2005, Edinburgh, Scotland, April 2005, pp. 204-215
-
Muffy Calder, Stephen Gilmore, Jane Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Gordon Plotkin (Ed.), Proceedings of Computational Methods in Systems Biology, CMSB 2005, Edinburgh, Scotland, April 2005, pp. 204-215
-
-
-
-
8
-
-
6444245859
-
Performance modelling of hierarchical cellular networks using PEPA
-
Forneau J.M., Kloul L., and Valois F. Performance modelling of hierarchical cellular networks using PEPA. Perform. Eval. 50 2-3 (November 2002) 83-99
-
(2002)
Perform. Eval.
, vol.50
, Issue.2-3
, pp. 83-99
-
-
Forneau, J.M.1
Kloul, L.2
Valois, F.3
-
10
-
-
0003581104
-
A Compositional Approach to Performance Modelling
-
Cambridge University Press
-
Hillston J. A Compositional Approach to Performance Modelling. Disting. Diss. Comput. Sci. vol. 12 (1996), Cambridge University Press
-
(1996)
Disting. Diss. Comput. Sci.
, vol.12
-
-
Hillston, J.1
-
12
-
-
0000637833
-
A PEPA specification of an industrial production cell
-
Process Algebra and Performance Modelling Workshop. Gilmore S., and Hillston J. (Eds). Special Issue: CEPIS, Edinburgh
-
Holton D.R.W. A PEPA specification of an industrial production cell. In: Gilmore S., and Hillston J. (Eds). Process Algebra and Performance Modelling Workshop. Special Issue: CEPIS, Edinburgh. Comput. J. 38 7 (June 1995) 542-551
-
(1995)
Comput. J.
, vol.38
, Issue.7
, pp. 542-551
-
-
Holton, D.R.W.1
-
13
-
-
84863981780
-
PRISM: Probabilistic symbolic model checker
-
Proc. of 12th Int. Conf. on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, Springer-Verlag, London, UK
-
Kwiatkowska M., Norman G., and Parker D. PRISM: Probabilistic symbolic model checker. Proc. of 12th Int. Conf. on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation. Lecture Notes in Comput. Sci. vol. 2324 (April 2002), Springer-Verlag, London, UK 200-204
-
(2002)
Lecture Notes in Comput. Sci.
, vol.2324
, pp. 200-204
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
14
-
-
18844367440
-
Simulating realistic network worm traffic for worm warning system design and testing
-
Washington, ACM
-
Liljenstam M., Nicol D.M., Berk V.H., and Gray R.S. Simulating realistic network worm traffic for worm warning system design and testing. WORMS '03. Washington (October 2003), ACM
-
(2003)
WORMS '03
-
-
Liljenstam, M.1
Nicol, D.M.2
Berk, V.H.3
Gray, R.S.4
-
15
-
-
84880028758
-
A mixed abstraction level simulation model of large-scale Internet worm infestations
-
IEEE Computer Society Press
-
Liljenstam M., Yuan Y., Premore B.J., and Nicol D. A mixed abstraction level simulation model of large-scale Internet worm infestations. MASCOTS '02, Proceedings of the 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (October 2002), IEEE Computer Society Press
-
(2002)
MASCOTS '02, Proceedings of the 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
-
-
Liljenstam, M.1
Yuan, Y.2
Premore, B.J.3
Nicol, D.4
-
16
-
-
35248845354
-
Multiscale modeling and simulation of worm effects on the Internet routing infrastructure
-
TOOLS '03, Proceedings of Computer Performance Evaluation: Modelling Techniques and Tools. University of Illinois at Urbana-Champaign, Springer-Verlag
-
Nicol D., Liljenstam M., and Liu J. Multiscale modeling and simulation of worm effects on the Internet routing infrastructure. TOOLS '03, Proceedings of Computer Performance Evaluation: Modelling Techniques and Tools. University of Illinois at Urbana-Champaign. Lecture Notes in Comput. Sci. (September 2003), Springer-Verlag
-
(2003)
Lecture Notes in Comput. Sci.
-
-
Nicol, D.1
Liljenstam, M.2
Liu, J.3
-
17
-
-
0242339708
-
Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease
-
EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Springer-Verlag
-
Norman R., and Shankland C. Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory. Lecture Notes in Comput. Sci. vol. 2809 (2003), Springer-Verlag 404-414
-
(2003)
Lecture Notes in Comput. Sci.
, vol.2809
, pp. 404-414
-
-
Norman, R.1
Shankland, C.2
-
18
-
-
47849111316
-
-
D. Sumpter, From bee to society: An agent-based investigation of honey bee colonies, PhD thesis, UMIST, 2000
-
D. Sumpter, From bee to society: An agent-based investigation of honey bee colonies, PhD thesis, UMIST, 2000
-
-
-
-
19
-
-
11244311770
-
Stochastic analysis of scheduling strategies in a GRID-based resource model
-
Thomas N., Bradley J.T., and Knottenbelt W.J. Stochastic analysis of scheduling strategies in a GRID-based resource model. IEE Softw. Engrg. 151 5 (September 2004) 232-239
-
(2004)
IEE Softw. Engrg.
, vol.151
, Issue.5
, pp. 232-239
-
-
Thomas, N.1
Bradley, J.T.2
Knottenbelt, W.J.3
-
20
-
-
0000367480
-
Describing social insect behaviour using process algebra
-
Tofts C. Describing social insect behaviour using process algebra. Trans. Soc. Comput. Simul. 10 (1992) 227-283
-
(1992)
Trans. Soc. Comput. Simul.
, vol.10
, pp. 227-283
-
-
Tofts, C.1
|