Exact performance equivalence: An equivalence relation for stochastic automata (Q1285589): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Q5687214
@@ Property / cites work: Q5687214 / rank @@
+Normal rank
@@ Property / cites work @@
+A notion of equivalence for stochastic Petri nets
@@ Property / cites work: A notion of equivalence for stochastic Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952904
@@ Property / cites work: Q4952904 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687213
@@ Property / cites work: Q5687213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Inference
@@ Property / cites work: Dynamic Inference / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Composite performance and dependability analysis
@@ Property / cites work: Composite performance and dependability analysis / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1285589