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

@@ Property / Mathematics Subject Classification ID @@
+M20
@@ Property / Mathematics Subject Classification ID: 68M20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6598645
@@ Property / zbMATH DE Number: 6598645 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic process algebras
@@ Property / zbMATH Keywords: stochastic process algebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic Petri nets
@@ Property / zbMATH Keywords: stochastic Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri box calculus
@@ Property / zbMATH Keywords: Petri box calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+discrete time
@@ Property / zbMATH Keywords: discrete time / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+immediate multiactions
@@ Property / zbMATH Keywords: immediate multiactions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantics
@@ Property / zbMATH Keywords: semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+transition systems
@@ Property / zbMATH Keywords: transition systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dtsi-boxes
@@ Property / zbMATH Keywords: dtsi-boxes / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+performance analysis
@@ Property / zbMATH Keywords: performance analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Markov chains
@@ Property / zbMATH Keywords: Markov chains / rank @@
+Normal rank

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

Revision as of 22:46, 27 June 2023

Statements

Sitelinks

Mathematics(0 entries)