An algebra-based method to associate rewards with EMPA terms

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

Volumn 1256, Issue , 1997, Pages 357-368

  Bernardo, Marco ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; RANDOM PROCESSES; STOCHASTIC SYSTEMS;

AXIOMATIZATION; EASE-OF-USE; MARKOVIAN BISIMULATIONS; MODAL LOGIC; PERFORMANCE INDICES; PERFORMANCE MEASURE; SIMPLE METHOD; STOCHASTIC PROCESS ALGEBRAS;

ALGEBRA;

EID: 84951159208     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63165-8_192     Document Type: Conference Paper

References (9)

1. M. Bernardo, R. Gorrieri, "Extended Markovian Process Algebra", in Proc. of the 7th Int. Con, on Concurrency Theory (CONCUR '96), LNCS 1119:315-330, Pisa (Italy), 1996
2. M. Bernardo, R. Gorrieri, "A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time", Technical Report UBLCS-96-17, University of Bologna (Italy), 1996
3. G. Clark. "Formalising the Specification of Rewards with PEPA", in Proc. of the Ąth Workshop on Process Algebras and Performance Modelling (PAPM '96), CLUT, pp. 139-160, Torino (Italy), 1996
4. M. Hennessy, R. Milner, "Algebraic Laws for Nondeterminism and Concurrency", in Journal of the ACM 32:137-161, 1985
5. J. Hillston, "A Compositional Approach to Performance Modelling", Cambridge University Press, 1996
6. R.A. Howard, "Dynamic Probabilistic Systems", John Wiley & Sons, 1971
7. L. Kleinrock, "Queueing Systems", John Wiley & Sons, 1975
8. K.G. Larsen, A. Skou, "Bisimulation through Probabilistic Testing", in Information and Computation 94(1):1-28, 1991
9. C.A. Vissers, G. Scollo, M. van Sinderen, E. Brinksma, "Specification Styles in Distributed Systems Design and Verification", in Theoretical Computer Science 89:179-206, 1991