Additive models of probabilistic processes (Q1607220): Difference between revisions

@@ Property / cites work @@
+Axiomatizing probabilistic processes: ACP with generative probabilities
+Normal rank
@@ Property / cites work @@
+Q4222911
@@ Property / cites work: Q4222911 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q4256644
@@ Property / cites work: Q4256644 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes.
@@ Property / cites work: Testing preorders for probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes
@@ Property / cites work: Testing preorders for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+A theory of communicating processes with value passing
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223011
@@ Property / cites work: Q4223011 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic communicating processes
@@ Property / cites work: Probabilistic communicating processes / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Composition and behaviors of probabilistic I/O automata
+Normal rank
@@ Property / cites work @@
+A new approach for fuzzy topology. I
@@ Property / cites work: A new approach for fuzzy topology. I / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach for fuzzy topology. II
@@ Property / cites work: A new approach for fuzzy topology. II / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach for fuzzy topology. III
@@ Property / cites work: A new approach for fuzzy topology. III / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzifying topology based on complete residuated lattice-valued logic. I
+Normal rank
@@ Property / cites work @@
+Bisimulation indexes and their applications
@@ Property / cites work: Bisimulation indexes and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701735
@@ Property / cites work: Q2701735 / rank @@
+Normal rank