An algebra-based method to associate rewards with EMPA terms-Reference-Cited by-同舟云学术

An algebra-based method to associate rewards with EMPA terms

Published:1997 Issue: Volume: Page:358-368
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Bernardo Marco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63165-8_192.pdf

Reference9 articles.

1. M. Bernardo, R. Gorrieri, “Extended Markovian Process Algebra”, in Proc. of the 7th Int. Conf. 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 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), GLUT, 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

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

2. Modelling and Analysis of Markov Reward Automata;Automated Technology for Verification and Analysis;2014

3. Discrete-Time Rewards Model-Checked;Lecture Notes in Computer Science;2004

4. Performance measure sensitive congruences for Markovian process algebras;Theoretical Computer Science;2003-01

5. The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems;Tools and Algorithms for the Construction and Analysis of Systems;2003