Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-012-0230-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2149178443
@@ Property / OpenAlex ID: W2149178443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+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 @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Q4813207
@@ Property / cites work: Q4813207 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+A testing scenario for probabilistic processes
@@ Property / cites work: A testing scenario for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of stochastic systems. I: Stochastic automata
+Normal rank
@@ Property / cites work @@
+A theory of stochastic systems. II: Process algebra
+Normal rank
@@ Property / cites work @@
+Retaining the Probabilities in Probabilistic Testing Theory
+Normal rank
@@ Property / cites work @@
+Probabilistic may/must testing: retaining probabilities by restricted schedulers
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635252
@@ Property / cites work: Q5635252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement-oriented probability for CSP
@@ Property / cites work: Refinement-oriented probability for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Real Time in Stochastic Process Algebras
+Normal rank
@@ Property / cites work @@
+Extending Timed Process Algebra with Discrete Stochastic Time
+Normal rank
@@ Property / cites work @@
+Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank