A theory of Stochastic systems. Part II: Process algebra

Information and Computation

Volumn 203, Issue 1, 2005, Pages 39-74

  D'Argenio, Pedro R ^a,b   Katoen, Joost Pieter ^b,c  

^a UNIVERSIDAD NACIONAL DE CÓRDOBA   (Argentina)

^b UNIVERSITY OF TWENTE   (Netherlands)

^c RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Axiomatisation; Bisimulation; Operational semantics; Stochastic automaton; Stochastic process algebra

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMPUTER SIMULATION; MATHEMATICAL MODELS; PROBABILITY DISTRIBUTIONS; SEMANTICS;

AXIOMATISATION; BISIMULATION; OPERATIONAL SEMANTICS; STOCHASTIC AUTOMATON; STOCHASTIC PROCESS ALGEBRA;

RANDOM PROCESSES;

EID: 27644569376     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2005.07.002     Document Type: Article

References (54)

1. L. Aceto A static view of localities Formal Aspects Comput. 6 1994 201 222
2. M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, and A. Valenzano A LOTOS extension for the performance analysis of distributed systems IEEE/ACM Trans. Networking 2 2 1994 151 165
3. R. Alur, and D. Dill A theory of timed automata Theor. Comput. Sci. 126 1994 183 235
4. J.C.M. Baeten, and C. Verhoef A congruence theorem for structured operational semantics with predicates E. Best Concurrency Theory (CONCUR) Lecture Notes in Computer Science vol. 715 1993 Springer Berlin 477 492
5. J.C.M. Baeten, and W.P. Weijland Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science 1990 Cambridge University Press Cambridge
6. J.A. Bergstra, and J.W. Klop Verification of an alternating bit protocol by means of process algebra W. Bibel K.P. Jantke Math. Methods of Spec. and Synthesis of Software Systems 1986 Akademie Verlag 9 23
7. M. Bernardo, Theory and application of extended Markovian process algebras. PhD thesis. Università di Bologna, Padova, Venezia, 1999.
8. M. Bernardo, and R. Gorrieri A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time Theor. Comput. Sci. 202 1-2 1998 1 54
9. T. Bolognesi, and E. Brinksma Introduction to the ISO specification language LOTOS Comput. Networks 14 1987 25 59
10. M. Bravetti, Specification and analysis of stochastic real-time systems. PhD thesis. Università di Bologna, Padova, Venezia, 2002.
11. M. Bravetti, M. Bernardo, and R. Gorrieri Towards performance evaluation with general distributions in process algebra D. Sangiorgi R. de Simone Concurrency Theory (CONCUR) Lecture Notes in Computer Science vol. 1466 1998 Springer Berlin 405 422
12. M. Bravetti, and P.R. D'Argenio Tutte le algebre insiemi: concepts, discussions and relations of stochastic process algebras with general distributions C. Baier Validation of Stochastic Systems Lecture Notes in Computer Science vol. 2925 2004 Springer Berlin 44 89
13. M. Bravetti, and R. Gorrieri The theory of interactive generalized semi-Markov processes Theor. Comput. Sci. 286 2002 5 32
14. E. Brinksma, and H. Hermanns Process algebra and Markov chains E. Brinksma H. Hermanns J.-P. Katoen Lectures on Formal Methods and Performance Analysis Lecture Notes in Computer Science vol. 2090 2001 Springer Berlin
15. E. Brinksma, J.-P. Katoen, R. Langerak, and D. Latella A stochastic causality-based process algebra Comput. J. 38 6 1995 552 565
16. P. Buchholz, Markovian process algebra: composition and equivalence, in: U. Herzog, M. Rettelbach (Eds.). Process Algebra and Performance Modelling (PAPM). Arbeitsbericht 29(9), University of Erlangen-Nürnberg, 1994, pp. 11-30.
17. C.G. Cassandras Discrete Event Systems. Modeling and Performance Analysis 1993 Aksen Associates, Irwin
18. M.E. Crovella Performance evaluation with heavy tail distributions (extended abstract) B.R. Haverkort H.C. Bohnenkamp C.U. Smith Computer Performance Evaluation: Modelling, Techniques and Tools Lecture Notes in Computer Science vol. 1786 2000 Springer Berlin 1 9
19. P.R. D'Argenio, Algebras and automata for timed and stochastic systems, PhD thesis, University of Twente, 1999.
20. P.R. D'Argenio, A compositional translation of stochastic automata into timed automata, CTIT Tech. Rep. 00-08, University of Twente, 2000.
21. P.R. D'Argenio, H. Hermanns, J.-P. Katoen, and J. Klaren MoDeST-a modelling and description language for stochastic timed systems L. de Alfaro S. Gilmore Process Algebra and Probabilistic Methods Lecture Notes in Computer Science vol. 2165 2001 Springer Berlin 87 104
22. P.R. D'Argenio, and J.-P. Katoen A theory of stochastic systems. Part I: Stochastic automata Inf. Comput. 203 2005 1 38
23. P.R. D'Argenio, J.-P. Katoen, E. Brinksma, A stochastic automata model and its algebraic approach, in: E. Brinksma, A. Nymeyer (Eds.), Process Algebra and Performance Modeling (PAPM), CTIT Tech. Rep. 97-14, pp. 1-16, University of Twente, 1997.
24. P.R. D'Argenio, J.-P. Katoen, and E. Brinksma An algebraic approach to the specification of stochastic systems (extended abstract) D. Gries W.-P. de Roever IFIP Working Conf. on Programming Concepts and Methods (PROCOMET), IFIP Conf. Proceedings 125 1998 Chapman & Hall London 126 147
25. P.R. D'Argenio, J.-P. Katoen, and E. Brinksma Specification and analysis of soft real-time systems: quantity and quality 20th IEEE Real-Time Systems Symposium (RTSS) 1999 IEEE CS Press 104 114
26. P.R. D'Argenio, and C. Verhoef A general conservative extension theorem in process algebras with inequalities Theor. Comput. Sci. 177 2 1997 351 380
27. W.J. Fokkink The tyft/tyxt format reduces to tree rules M. Hagiya J.C. Mitchell Symposium on Theoretical Aspects of Computer Software (TACS) Lecture Notes in Computer Science vol. 789 1994 Springer Berlin 440 453
28. W.J. Fokkink Introduction to Process Algebra 2000 Springer
29. P.W. Glynn A GSMP formalism for discrete event simulation Proc. IEEE 77 1 1989 14 23
30. N. Götz, U. Herzog, and M. Rettelbach TIPP-introduction and application to protocol performance analysis H. König Formale Beschreibungstechniken für verteilte Systeme FOKUS series 1993 Saur Publishers
31. J.F. Groote, and F.W. Vaandrager Structured operational semantics and bisimulation as a congruence Inf. Comput. 100 2 1992 202 260
32. P.G. Harrison, and N.M. Patel Performance Modelling of Communication Networks and Computer Architectures 1992 Addison-Wesley Reading, MA
33. P.G. Harrison, and B. Strulo Stochastic process algebra for discrete event simulation F. Bacelli A. Jean-Marie I. Mitrani Quantitative Methods in Parallel Systems Esprit Basic Research Series 1995 Springer Berlin 18 37
34. P.G. Harrison, and B. Strulo Spades: Stochastic process algebra for discrete event simulation J. Logic Comput. 10 1 2000 3 42
35. H. Hermanns Interactive Markov Chains-The Quest for Quantified Quality Lecture Notes in Computer Science vol. 2428 2002 Springer Berlin
36. H. Hermanns, U. Herzog, and J.-P. Katoen Process algebra for performance evaluation Theor. Comput. Sci. 274 1-2 2002 43 87
37. H. Hermanns, M. Rettelbach, Syntax, semantics, equivalences, and axioms for MTIPP, in: U. Herzog, M. Rettelbach (Eds.). Process Algebra and Performance Modelling (PAPM). Arbeitsbericht 29(9), University of Erlangen-Nürnberg, 1994, pp. 71-87.
38. J. Hillston, The nature of synchronisation, in: U. Herzog, M. Rettelbach (Eds.). Process Algebra and Performance Modelling (PAPM). Arbeitsbericht 29(9), University of Erlangen-Nürnberg, 1994, pp. 51-70.
39. J. Hillston A Compositional Approach to Performance Modelling 1996 Cambridge University Press Cambridge
40. J. Hillston, and M. Ribaudo Stochastic process algebras: a new approach to performance modeling K. Bagchi J. Walrand G. Zobrist Modeling and Simulation of Advanced Computer Systems 1998 Gordon Breach
41. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice-Hall New Jersey
42. R. Jain The Art of Computer Systems Performance Analysis 1991 John Wiley & Sons New York
43. N. López, M. Núnez, NMSPA: a non-Markovian model for stochastic processes, in: Distributed System Validation and Verification (DSVV), 2000. http://www.math.ntu.edu.tw/~eric/dsvv_proc/.
44. R. Milner Communication and Concurrency 1989 Prentice-Hall New Jersey
45. G.D. Plotkin, A structural approach to operational semantics, Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
46. R.J. Pooley Integrating behavioural and simulation modelling Quantitative Evaluation of Computing and Communication Systems Lecture Notes in Computer Science vol. 977 1995 Springer Berlin 102 116
47. C. Priami Stochastic π-calculus with general distributions M. Ribaudo Process Algebra and Performance Modelling (PAPM) 1996 Università di Torino 41 57
48. A. Rensink Bisimilarity of open terms Inf. Comput. 156 2000 345 385
49. T. Ruys, R. Langerak, J.-P. Katoen, D. Latella, and M. Massink First passage time analysis of stochastic process algebra using partial orders T. Margaria W. Yi Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Lecture Notes in Computer Science vol. 2031 2001 Springer Berlin 220 235
50. A.N. Shiryaev Probability Graduate Texts in Mathematics vol. 95 1996 Springer Berlin
51. W. Stewart Introduction to the Numerical Solution of Markov Chains 1994 Princeton University Press New Jersey
52. B. Strulo, Process algebra for discrete event simulation, PhD thesis, Imperial College, 1993.
53. C. Tofts, and G.M. Birtwistle Denotational semantics for a process-based simulation language ACM Trans. Modeling Comput. Simulation 8 3 1998 281 305
54. W. Whitt Continuity of generalized semi-Markov processes Math. Oper. Res. 5 1980 494 501