Probabilistic Analysis of Binary Sessions (Q5089279): Difference between revisions

@@ label / en / label / en @@
+Probabilistic Analysis of Binary Sessions
@@ Property / author @@
+Emilio Tuosto
@@ Property / author: Emilio Tuosto / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
+Normal rank
@@ Property / cites work @@
+Manifest deadlock-freedom for shared session types
+Normal rank
@@ Property / cites work @@
+Q2757755
@@ Property / cites work: Q2757755 / rank @@
+Normal rank
@@ Property / cites work @@
+Using higher-order contracts to model session types
+Normal rank
@@ Property / cites work @@
+Analysis of Probabilistic Basic Parallel Processes
+Normal rank
@@ Property / cites work @@
+Q5207054
@@ Property / cites work: Q5207054 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic propositions as session types
@@ Property / cites work: Linear logic propositions as session types / 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 @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+A new linear logic for deadlock-free session-typed processes
+Normal rank
@@ Property / cites work @@
+Rate-Based Transition Systems for Stochastic Process Calculi
+Normal rank
@@ Property / cites work @@
+Testing Finitary Probabilistic Processes
@@ Property / cites work: Testing Finitary Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Testing Probabilistic Processes
@@ Property / cites work: Remarks on Testing Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination
@@ Property / cites work: Probabilistic Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic may/must testing: retaining probabilities by restricted schedulers
+Normal rank
@@ Property / cites work @@
+A Probabilistic Applied Pi–Calculus
@@ Property / cites work: A Probabilistic Applied Pi–Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+The Probabilistic Model Checking Landscape
@@ Property / cites work: The Probabilistic Model Checking Landscape / rank @@
+Normal rank
@@ Property / cites work @@
+Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination by Monadic Affine Sized Typing
+Normal rank
@@ Property / cites work @@
+The Pairing of Contracts and Session Types
@@ Property / cites work: The Pairing of Contracts and Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Fair Termination for Parameterized Probabilistic Concurrent Systems
+Normal rank
@@ Property / cites work @@
+A deterministic rewrite system for the probabilistic λ-calculus
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic and prioritized models of timed CSP
@@ Property / cites work: Probabilistic and prioritized models of timed CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942011
@@ Property / cites work: Q4942011 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair Subtyping for Open Session Types
@@ Property / cites work: Fair Subtyping for Open Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock and lock freedom in the linear π-calculus
+Normal rank
@@ Property / cites work @@
+Fair subtyping for multi-party session types
@@ Property / cites work: Fair subtyping for multi-party session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verified tail bounds for randomized programs
@@ Property / cites work: Verified tail bounds for randomized programs / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / 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 @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3082772175
@@ Property / OpenAlex ID: W3082772175 / rank @@
+Normal rank
@@ Property / title @@
+Probabilistic Analysis of Binary Sessions (English)
@@ Property / title: Probabilistic Analysis of Binary Sessions (English) / rank @@
+Normal rank