Extended markovian process algebra

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

Volumn 1119, Issue , 1996, Pages 315-330

  Bernardo, Marco ^a   Gorrieri, Roberto ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; MARKOV PROCESSES;

COMPOSITIONALITY; CONCURRENT SYSTEMS; FUNCTIONAL SEMANTICS; INTEGRATED ANALYSIS; MARKOVIAN PROCESS ALGEBRAS; PROBABILISTIC CHOICES; PROCESS ALGEBRAS; TRANSITION SYSTEM;

SEMANTICS;

EID: 84955612267     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61604-7_63     Document Type: Conference Paper

References (20)

1. M. Ajmone Marsan, G. Balbo, G. Conte, "A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems", in ACM Trans. on Computer Systems 2:143-172, 1984
2. J. Baeten, J. A. Bergstra, J. W. Klop, "Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra", in Fundamenta Informatica IX:127-168, 1986
3. M. Bernardo, L. Donatiello, R. Gorrieri, "Integrating Performance and Functional Analysis of Concurrent Systems with EMPA", Technical Report UBLCS-95-14, University of Bologna (Italy), September 1995 (revised March 1996), available via anonymous ftp from ftp. cs. unibo, it/pub/TR/UBLCS
4. P. Buchholz, "Markovian Process Algebra: Composition and Equivalence", in Proc. of PAPM '94, Erlangen (Germany), pages 11-30, July 1994
5. R. Cleaveland, M. Hennessy, "Priorities in Process Algebras", in Proc. of LICS '88, Edinburgh (UK), IEEE-CS Press, pages 193-202, July 1988
6. D. Ferrari, "Considerations on the Insularity of Performance Evaluation", in IEEE Trans. on Software Engineering 12(6):678-683, June 1986
7. R. van Glabbeek, S. A. Smolka, B. Steffen, C. M. N. Torts, "Reactive, Generative and Stratified Models of Probabilistic Processes", in Proc. of LICS '90, Philadelphia (PA), IEEE-CS Press, pages 130-141, 1990
8. N. G6tz, U. Herzog, M. Rettelbach, "Multiprocessor and Distributed System Design: the Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras", in Proc. of PERFORMANCE '93, Rome (Italy), LNCS 729:121-146, September 1993
9. H. Hermanns, M. Rettelbach, "Syntax, Semantics, Equivalences, and Axioms for MTIPP", in Proc. of PAPM '94, Edangen (Germany), pages 71-87, July 1994
10. J. I-Iillston, "A Compositional Approach to Performance Modelling", Ph.D. Thesis, University of Edinburgh (UK), March 1994
11. C. A. R. Hoare, "Communicating Sequential Processes", Prentice Hall, 1985
12. J. G. Kemeny, J. L. Snell, "Finite Markov Chains", Springer-Verlag, 1977
13. L. Kleinrock, "Queueing Systems", Wiley, 1975
14. K. G. Larsen, A. Skou, "Bisimulation through Probabilistic Testing", in Information and Computation 94(1):1-28, September 1991
15. D. Lehmann, M. Rabin, "On the Advantage of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem", in Proc. of POPL '81, pages 133-138, 1981
16. R. Milner, "Communication and Concurrency", Prentice Hall, 1989
17. M. F. Neuts, "Matriz-Geometric Solutions in Stochastic Models-An Algorithmic Approach", John Hopkins University Press, 1981
18. R. Segala, "Modeling and Verification of Randomized Distributed Real-Time Systems", Ph.D. Thesis, MIT, June 1995
19. C. Torts, "A Synchronous Calculus of Relative Frequency", in Proc. of CONCUR '90, Amsterdam (The Netherlands), LNCS 458:467-480, August 1990
20. Y. Yemini, J. Kurose, "Towards the Unification of the Functional and Performance Analysis of Protocols, or Is the Alternating-Bit Protocol Really Correctq. ", in Protocol Specification, Testing and Verification II, 1982