Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.01.027
+Normal rank
@@ Property / OpenAlex ID @@
+W47800957
@@ Property / OpenAlex ID: W47800957 / rank @@
+Normal rank
@@ Property / cites work @@
+Non Expansive ε-Bisimulations
@@ Property / cites work: Non Expansive ε-Bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535031
@@ Property / cites work: Q4535031 / 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 @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Probabilistic bisimulation as a congruence
@@ Property / cites work: Probabilistic bisimulation as a congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Security Analysis and Design II
@@ Property / cites work: Foundations of Security Analysis and Design II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Approximating and computing behavioural distances in probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+GSOS for probabilistic transition systems
@@ Property / cites work: GSOS for probabilistic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Stochastic Process Calculi
+Normal rank
@@ Property / cites work @@
+Axiomatizing probabilistic processes: ACP with generative probabilities
+Normal rank
@@ Property / cites work @@
+Discrete time generative-reactive probabilistic processes with different advancing speeds
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications. II
+Normal rank
@@ Property / cites work @@
+Q4255553
@@ Property / cites work: Q4255553 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Rooted branching bisimulation as a congruence
@@ Property / cites work: Rooted branching bisimulation as a congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for weak bisimulations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:974113