Exact performance equivalence: An equivalence relation for stochastic automata
type: Item
instance of: scholarly article
title: Exact performance equivalence: An equivalence relation for stochastic automata
zbMATH Open document ID: 0913.68141
DOI: 10.1016/S0304-3975(98)00169-8
author: Peter Buchholz
published in: Theoretical Computer Science
publication date: 1999-04-28T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1281083
zbMATH Keywords: stochastic automata
zbMATH Keywords: equivalence of stochastic automata
zbMATH Keywords: qualitative analysis
zbMATH Keywords: quantitative analysis
MaRDI profile type: Publication
cites work: A Theory of Communicating Sequential Processes
cites work: Exact and ordinary lumpability in finite Markov chains
cites work: Q5687214
cites work: A notion of equivalence for stochastic Petri nets
cites work: Q4952904
cites work: A Compositional Approach to Performance Modelling
cites work: Q5687213
cites work: Q5592246
cites work: Dynamic Inference
cites work: CCS expressions, finite state processes, and three problems of equivalence
cites work: Q3992568
cites work: Testing equivalences for processes
cites work: Q4324960
cites work: Composite performance and dependability analysis
description: scientific article; zbMATH DE number 1281083