Performance analysis of concurrent systems in algebra dtsiPBC (Q300304): Difference between revisions

@@ Property / author @@
-Igor V. Tarasyuk
@@ Property / author: Igor V. Tarasyuk / rank @@
-Normal rank
@@ Property / author @@
-Hermenegilda Macia
@@ Property / author: Hermenegilda Macia / rank @@
-Normal rank
@@ Property / author @@
+Igor V. Tarasyuk
@@ Property / author: Igor V. Tarasyuk / rank @@
+Normal rank
@@ Property / author @@
+Hermenegilda Macia
@@ Property / author: Hermenegilda Macia / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114847380
@@ Property / Wikidata QID: Q114847380 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+A refined view of the box algebra
@@ Property / cites work: A refined view of the box algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net algebra
@@ Property / cites work: Petri net algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Q3601873
@@ Property / cites work: Q3601873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429643
@@ Property / cites work: Q3429643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2880610
@@ Property / cites work: Q2880610 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic process reduction for performance evaluation in dtsiPBC
+Normal rank
@@ Property / cites work @@
+Discrete Time Stochastic Petri Nets
@@ Property / cites work: Discrete Time Stochastic Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367948
@@ Property / cites work: Q4367948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798039
@@ Property / cites work: Q4798039 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Generalized Stochastic Petri Nets
@@ Property / cites work: Introduction to Generalized Stochastic Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q3152933
@@ Property / cites work: Q3152933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547764
@@ Property / cites work: Q4547764 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0361768814050089
+Normal rank
@@ Property / OpenAlex ID @@
+W2012979560
@@ Property / OpenAlex ID: W2012979560 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:300304