Value-passing CCS with noisy channels (Q428864): Difference between revisions

@@ Property / cites work @@
+Verification of probabilistic systems with faulty communication
+Normal rank
@@ Property / cites work @@
+Q4535053
@@ Property / cites work: Q4535053 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable verification problems for programs with unreliable channels
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring the Speed of Information Leakage in Mobile Processes
+Normal rank
@@ Property / cites work @@
+Quantifying Probabilistic Information Flow in Computational Reactive Systems
+Normal rank
@@ Property / cites work @@
+A hierarchy of probabilistic system types
@@ Property / cites work: A hierarchy of probabilistic system types / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Phase Commitment Protocol in an Extended π-Calculus
+Normal rank
@@ Property / cites work @@
+Timed, Distributed, Probabilistic, Typed Processes
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Quantifying Information Leakage in Process Calculi
+Normal rank
@@ Property / cites work @@
+Quantifying information leakage in process calculi
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Probabilistic Barbed Congruence
@@ Property / cites work: Probabilistic Barbed Congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizations for probabilistic finite-state behaviors
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for communicating processes with value-passing
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760244
@@ Property / cites work: Q2760244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / 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 @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / 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 @@
+Non Expansive ε-Bisimulations
@@ Property / cites work: Non Expansive ε-Bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus with noisy channels
@@ Property / cites work: \(\pi\)-calculus with noisy channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767183
@@ Property / cites work: Q2767183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701735
@@ Property / cites work: Q2701735 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation indexes and their applications
@@ Property / cites work: Bisimulation indexes and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about probabilistic sequential programs in a probabilistic logic
+Normal rank