Interval probability for sessions types (Q6102998): Difference between revisions

@@ Property / cites work @@
+Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
+Normal rank
@@ Property / cites work @@
+A Theory of Design-by-Contract for Distributed Multiparty Interactions
+Normal rank
@@ Property / cites work @@
+PROBABILITY INTERVALS: A TOOL FOR UNCERTAIN REASONING
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Classic works on the Dempster-Shafer theory of belief functions
+Normal rank
@@ Property / cites work @@
+Precise subtyping for synchronous multiparty sessions
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Analysis of Binary Sessions
@@ Property / cites work: Probabilistic Analysis of Binary Sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5795295
@@ Property / cites work: Q5795295 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic π-Calculus and Event Structures
@@ Property / cites work: Probabilistic π-Calculus and Event Structures / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of interval-probability as a unifying concept for uncertainty
+Normal rank
@@ Property / cites work @@
+Bayes-like Decision Making with Upper and Lower Probabilities
+Normal rank