Stochastic process algebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4486 LNCS, Issue , 2007, Pages 132-179

  Clark, Allan ^a   Gilmore, Stephen ^a   Hillston, Jane ^a   Tribastone, Mirco ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; FORMAL LOGIC; STOCHASTIC MODELS;

MARKOVIAN BASED ANALYSIS; PEPA FORMALISM; PERFORMANCE MODELING;

RANDOM PROCESSES;

EID: 34548105489     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72522-0_4     Document Type: Conference Paper

References (74)

1. Herzog, U.: Formal description, time and performance analysis: A framework. Technical Report 15/90, IMMD VII, Friedrich-Alexander- Universität, ErlangenNürnberg, Germany (September 1990)
2. Holton, D.: A PEPA specification of an industrial production cell. In Gilmore, S., Hillston, J., eds.: Proceedings of the Third International Workshop on Process Algebras and Performance Modelling, Special Issue of The Computer Journal, 38(7) (December 1995) 542-551
3. Gilmore, S., Hillston, J., Holton, D., Rettelbach, M.: Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research 34(4) (1996) 1065-1080
4. Thomas, N., Hillston, J.: Using Markovian process algebra to specify interactions in queueing systems. Technical Report ECS-LFCS-97-373, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh (1997)
5. Bowman, H., Bryans, J., Derrick, J.: Analysis of a multimedia stream using stochastic process algebra. In Priami, C., ed.: Sixth International Workshop on Process Algebras and Performance Modelling, Nice (September 1998) 51-69
6. th European Conference on Artificial Intelligence, Berlin (August 2000) A longer version appeared in the Proc. of 11th Int. Workshop on Principles of Diagnosis (DXOO), Morelia, Mexico, June 2000.
7. Hillston, J., Kloul, L.: Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience 13 (2001) 23-41
8. Forneau, J., Kloul, L., Valois, F.: Performance modelling of hierarchical cellular networks using PEPA. Performance Evaluation 50(2-3) (November 2002) 83-99
9. Brodo, L., Degano, P., Gilmore, S., Hillston, J., Priami, C.: Performance evaluation for global computation. In Priami, C., ed.: Global Computing: Programming environments, languages, security, and analysis of systems. Proceedings of the IST/FET International Workshop (GC 2003). Volume 2874 of LNCS., Rovereto, Italy, Springer-Verlag (February 2003) 229-253
10. Buchholtz, M., Gilmore, S., Hillston, J., Nielson, F.: Securing statically-verified communications protocols against timing attacks. Electr. Notes Theor. Comput. Sci. 128(4) (2005) 123-143
11. Hillston, J., la Kloul, L., Mokhtari, A.: Towards a feasible active networking scenario. Telecommunication Systems 27(2-4) (October 2004) 413-438
12. Fourneau, J.M., Kloul, L.: A precedence PEPA model for performance and reliability analysis. In Horváth, A., Telek, M., eds.: Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop (EPEW 2006). Number 4054 in LNCS, Springer-Verlag (June 2006) 1-15
13. Duguid, A.: Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion. In Asarin, E., Bouyer, P., eds.: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Volume 4202 of Lecture Notes in Computer Science., Springer (2006) 156-170
14. Gilmore, S., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-leaming and course management system. In Mario Bravetti, M.T.N.n., Zavattaro, G., eds.: Third International Workshop on Web Services and Formal Methods (WS-FM'06). Volume 4184 of Lecture Notes in Computer Science., Vienna, Austria, Springer (2006) 156-170
15. Razafindralambo, T., Valois, F.: Performance evaluation of backoff algorithms in 802.11 ad-hoc networks. In: PE-WASUN '06: Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks, New York, NY, USA, ACM Press (2006) 82-89
16. Razafindralambo, T., Valois, F.: Stochastic behavior study of backoff algorithms in case of hidden terminals. In: Proceedings of the 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC'06), IEEE Press (2006) 1-6
17. Milner, R.: Communication and Concurrency. Prentice-Hall (1989)
18. Hoare, C.: Communicating Sequential Processes. Prentice-Hall (1985)
19. Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebras. In: Real-Time: Theory in Practice. Springer LNCS 600 (1991) 526-548
20. Moller, F., Tofts, C.: A Temporal Calculus for Communicating Systems. In Baeten, J., Klop, J., eds.: CONCUR'90. Volume 458 of LNCS., Springer-Verlag (August 1989) 401-415
21. Jou, C.C. Smolka, S.: Equivalences, Congruences and Complete Axiomatizations of Probabilistic Processes. In Baeten, J., Klop, J., eds.: CONCUR'90. Volume 458 of LNCS. Springer-Verlag (August 1990) 367-383
22. Edinburgh Concurrency Workbench. http://homepages.inf.ed.ac.uk/perdita/ cwb/
23. th ICALP, Noordwijkerhout. Volume 85 of Lecture Notes in Computer Science., Springer-Verlag (July 1980) 299309
24. Kozen, D.: Results on the propositional μ-calculus. Theoretical Computer Science 27(3) (1983) 333-354
25. Götz, N., Herzog, U., Rettelbach, M.: TIPP-a language for timed processes and performance evaluation. Technical Report 4/92, IMMD7, University of ErlangenNümberg, Germany (November 1992)
26. Bernardo, M., Gorrieri, R., Donatiello, L.: MPA: A Stochastic Process Algebra. Technical Report UBLCS-94-10, Laboratory of Computer Science, University of Bologna (May 1994)
27. Bernardo, M., Gorrieri, R.: A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theoretical Computer Science to appear (1998)
28. Hillston, J.: PEPA - Performance Enhanced Process Algebra. Technical report, Dept. of Computer Science, University of Edinburgh (March 1993)
29. Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, Department of Computer Science, University of Edinburgh (April 1994) CST-10794.
30. Strulo, B.: Process Algebra for Discrete Event Simulation. PhD thesis, Imperial College (1993)
31. Priami, C.: Stochastic μ-Calculus. The Computer Journal 38(6) (1995)
32. Hermanns, H.: Interactive Markov Chains: The Quest for Quantified Quality. Volume 2428 of LNCS. Springer (2002)
33. D'Argenio, P., Hermanns, H., Katoen, J.P., Klaren, R.: MoDeST: A modelling language for stochastic timed systems. In: Process Algebra and Probabilistic Methods, Springer-Verlang LNCS 2165 (2001) 87-104
34. Bravetti, M., Gorrieri, R.: The theory of Interactive Generalized Semi-Markov Processes. Theoretical Computer Science 282(1) (June 2002) 5-32
35. Bravetti, M., Bernardo, M., Gorrieri, R.: From EMPA to GSMPA: Allowing for general distributions. In Brinksma, E., Nymeyer, A., eds.: Proc. of the 5th Int. Workshop on Process Algebras and Performance Modeling (PAPM '97). (1997) 1733
36. Rettelbach, M.: Probabilistic Branching in Markovian Process Algebras. The Computer Journal 38(6) (1995) Special Issue: Proc. of 3rd Process Algebra and Performance Modelling Workshop.
37. Hermanns, H., Rettelbach, M., Weiß, T.: Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. The Computer Journal 38(6) (1995) Special Issue: Proc. of 3rd Workshop on Process Algebras and Performance Modelling.
38. Hillston, J.: The nature of synchronisation. In Herzog, U., Rettelbach, M., eds.: Proceedings of the Second International Workshop on Process Algebras and Performance Modelling, Erlangen (November 1994) 51-70
39. Ribaudo, M.: Understanding Stochastic Process Algebras via their Stochastic Petri Net Semantics. In Herzog, U., Rettelbach, M., eds.: Proc. of 2nd Process Algebra and Performance Modelling Workshop. (1994)
40. Bradley, J.: Towards Reliable Modelling with Stochastic Process Algebras. PhD thesis, Department of Computer Science, University of Bristol (1999)
41. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)
42. Clark, G., Gilmore, S., Hillston, J., Ribaudo, M.: Exploiting modal logic to express performance measures. In Haverkort, B., Bohnenkamp, H., Smith, C., eds.: Computer Performance Evaluation: Modelling Techniques and Tools, Proceedings of the 11th International Conference. Number 1786 in LNCS, Schaumburg, Illinois, USA, Springer-Verlag (March 2000) 211-227
43. Dempster, E.W., Tomov, N.T., Lü, J., Pua, C.S., Williams, M.H., Burger, A., Taylor, H., Broughton, P.: Verifying a performance estimator for parallel DBMSs. In: Proceedings of EuroPar (EuroPar'98). (September 1998)
44. Bouzeghoub, M., Kloul, L., Mokhtari, A.: A new active network framework based on active rules. Technical Report 2002/21, PRiSM, Université de Versailles (2002)
45. Hillston, J., Kloul, L., Mokhtari, A.: Active nodes performance analysis using PEPA. [74] 244-256
46. Hillston, J., Kloul, L., Mokhtari, A.: Towards a feasible active networking scenario. Telecommunication Systems 27(2-4) (2004) 413-438
47. Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27(5) (May 2001) 449-464
48. Console, L., Picardi, C., Ribaudo, M.: Diagnosis and Diagnosability Analysis using Process Algebras. In: Proc. of 11th Int. Workshop on Principles of Diagnosis (DXOO), Morelia, Mexico (June 2000)
49. Eclipse.org home, http://wwv.eclipse.org
50. Eclipse Modeling Framework, http ://www.eclipse.org/home
51. Matrix Toolkit for Java, http://rs.cipr.uib.no/mtj/
52. Bradley, J., Dingle, N., Gilmore, S., Knottenbelt, W.: Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In Kotsis, G., ed.: Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, University of Central Florida, IEEE Computer Society Press (October 2003) 344-351
53. Knottenbelt, W.: Generalised Markovian analysis of timed transition systems. Master's thesis, University of Cape Town (1996)
54. Bradley, J., Dingle, N., Gilmore, S., Knottenbelt, W.: Extracting passage times from PEPA models with the HYDRA tool: A case study. [74] 79-90
55. Argent-Katwala, A., Bradley, J., Dingle, N.: Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA, ACM Press (January 2004) 49-58
56. PRISM, http://www.cs.bham.ac.uk/~dxp/prism/index.php
57. Hermanns, H., Meyer-Kayser, J., Siegle, M.: Multi-terminal binary decision diagrams to represent and analys e continuous time markov chains. In: Proc. of 3rd Intl. Workshop on the Numerical Solution of Mark ov Chains. (1999) 188-207
58. Gilmore, S., Kloul, L.: A unified tool for performance modelling and prediction. In S. Anderson, B.L., Felici, M., eds.: Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003). Volume 2788 of LNCS., Springer-Verlag (2003) 179-192
59. Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: Software performance modelling using PEPA nets. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA, ACM Press (January 2004) 13-24
60. Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.: The Möbius modeling tool. In: Proc. of 9th Int. Workshop on Petri Nets and Performance Models, Aachen, Germany (September 2001) 241-250
61. Clark, G., Sanders, W.: Implementing a stochastic process algebra within the Möbius modeling framework. In de Alfaro, L., Gilmore, S., eds.: Proceedings of the first joint PAPM-PROBMIV Workshop. Volume 2165 of Lecture Notes in Computer Science., Aachen, Germany, Springer-Verlag (September 2001) 200-215
62. : TwoTowers 5.1. http://www.sti.uniurb.it/bernardo/twotowers/
63. Hermanns, H., Mertsiotakis, V.: A Stochastic Process Algebra Based Modelling Tool. In: Proc. of the 11th UK Performance Engineering Workshop for Computer and Telecommunication Systems, Springer (1995)
64. Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.: Compositional performance modelling with the TIPPtool. In: Proc. of 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Volume 1469 of LNCS., Palma de Mallorca, Springer-Verlag (1998)
65. Cleaveland, W., Sims, S.: The NCSU Concurrency Workbench. In: Proc. of Int. Conf. on Computer Aided Verification (CAV'96). Volume 1102 of LNCS., SpringerVerlag (1996) 394-397
66. Stewart, W.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press (1994)
67. Bohnenkamp, H., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J.P., Klaren, R., Lamb, V., Sanders, W.: On integrating the MÖBIUS and MODEST modeling tools. In: Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN'03), IEEE Computer Society Press (2003)
68. Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. Technical Report RT-254, INRIA (2001)
69. Clark, G.: An Extended Weak Isomorphism for Model Simplification. In Brinksma, E., Nymeyer, A., eds.: Proc. of 5th Process Algebra and Performance Modelling Workshop. (1997)
70. Mertsiotakis, V.: Approximate Analysis Methods for Stochastic Process Algebras. PhD thesis, Universität Erlangen-Nürnberg, Martensstraße 3, 91058 Erlangen (September 1998)
71. Hermanns, H., Rettelbach, M.: Syntax, Semantics, Equivalences and Axioms for MTIPP. In Herzog, U., Rettelbach, M., eds.: Proc. of 2nd Process Algebra and Performance Modelling Workshop. (1994)
72. Bernardo, M.: Behavioural equivalences and model manipulations. In Bernardo, M., Hillston, J., eds.: Formal Methods for Performance Evaluation. LNCS. Springer (2007)
73. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, IEEE Computer Society Press (September 2005) 33-43
74. Jarvis, S., ed.: Proceedings of the Ninteenth UK Performance Engineering Workshop, University of Warwick (July 2003)