Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes 英文论文文献.docVIP

Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes Marco Bernardo Dipartimento di Scienze di Base e Fondamenti – Universit`a di Urbino – Italy We have recently de?ned a weak Markovian bisimulation equivalence in an integrated-time setting, which reduces sequences of exponentially timed internal actions to individual exponentially timed internal actions having the same average duration and execution probability as the corresponding sequences. This weak Markovian bisimulation equivalence is a congruence for sequential processes with abstraction a