Performance measure sensitive congruences for Markovian process algebras
type: Item
instance of: scholarly article
title: Performance measure sensitive congruences for Markovian process algebras
zbMATH Open document ID: 1019.68065
DOI: 10.1016/S0304-3975(01)00090-1
author: Marco Bernardo
author: Mario Bravetti
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1857110
zbMATH Keywords: process algebras
zbMATH Keywords: performance evaluation
zbMATH Keywords: Markov chains
zbMATH Keywords: rewards
zbMATH Keywords: mutual exclusion algorithms
describes a project that uses: PEPA
MaRDI profile type: Publication
cites work: Q4835250
cites work: Q2754196
cites work: Q4270055
cites work: An algebra-based method to associate rewards with EMPA terms
cites work: Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
cites work: On the solution of GSPN reward models
cites work: Q4144754
cites work: Testing equivalences for processes
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Specification techniques for Markov reward models
cites work: Q4936893
cites work: Q3777424
cites work: Q5635252
cites work: Q4101255
cites work: Bisimulation through probabilistic testing
cites work: Q3126969
cites work: Performability: a retrospective and some pointers to the future
cites work: Q3992568
cites work: Reward model solution methods with impulse and rate rewards: an algorithm and numerical results
cites work: Q4324960
cites work: Processes with probabilities, priority and time
cites work: Composite performance and dependability analysis
cites work: Specification styles in distributed systems design and verification
cites work: Composition and behaviors of probabilistic I/O automata
description: scientific article; zbMATH DE number 1857110