An Algebra-Based Method to Associate Rewards with EMPA Terms

摘要: We present a simple method to associate rewards with terms of the stochastic process algebra EMPA in order make specification and computation performance measures easier. The basic idea behind this is specify within actions terms, so it substantially differs from methods based on modal logic. main motivations are its ease use as well possibility defining notion equivalence which relates having same reward, thus allowing for simplification without altering index. prove that such an congruence finer than strong extended Markovian bisimulation equivalence, we axiomatization.