Performance measure sensitive congruences for Markovian process algebras
From MaRDI portal
(Redirected from Publication:1853585)
Recommendations
Cites work
- An algebra-based method to associate rewards with EMPA terms
- Bisimulation through probabilistic testing
- Composite performance and dependability analysis
- Composition and behaviors of probabilistic I/O automata
- Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
- scientific article; zbMATH DE number 1670870 (Why is no real title available?)
- scientific article; zbMATH DE number 996442 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 3522951 (Why is no real title available?)
- scientific article; zbMATH DE number 3574935 (Why is no real title available?)
- scientific article; zbMATH DE number 1361121 (Why is no real title available?)
- scientific article; zbMATH DE number 729460 (Why is no real title available?)
- scientific article; zbMATH DE number 763717 (Why is no real title available?)
- scientific article; zbMATH DE number 1397300 (Why is no real title available?)
- scientific article; zbMATH DE number 3361677 (Why is no real title available?)
- On the solution of GSPN reward models
- Performability: a retrospective and some pointers to the future
- Processes with probabilities, priority and time
- Reactive, generative, and stratified models of probabilistic processes
- Reward model solution methods with impulse and rate rewards: an algorithm and numerical results
- Specification styles in distributed systems design and verification
- Specification techniques for Markov reward models
- Testing equivalences for processes
Cited in
(17)- On performance congruences for process algebras
- Non-bisimulation-based Markovian behavioral equivalences
- Reduction semantics in Markovian process algebra
- Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- An algebra-based method to associate rewards with EMPA terms
- scientific article; zbMATH DE number 1884417 (Why is no real title available?)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
- Markovian testing and trace equivalences exactly lump more than Markovian bisimilarity
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
- Process algebra for performance evaluation
- Extended Markovian Process Algebra
- Component-oriented specification of performance measures
- Uniform logical characterizations of testing equivalences for nondeterministic, probabilistic and Markovian processes
- Mixing logics and rewards for the component-oriented specification of performance measures
This page was built for publication: Performance measure sensitive congruences for Markovian process algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1853585)
