An algebra-based method to associate rewards with EMPA terms (Q4571967): Difference between revisions

@@ Property / cites work @@
+Extended Markovian Process Algebra
@@ Property / cites work: Extended Markovian Process Algebra / 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 @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / 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 @@
+Q5635252
@@ Property / cites work: Q5635252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101255
@@ Property / cites work: Q4101255 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Specification styles in distributed systems design and verification
+Normal rank