Approximating and computing behavioural distances in probabilistic transition systems (Q2503333): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2006.05.021
@@ Property / DOI: 10.1016/j.tcs.2006.05.021 / rank @@
-Normal rank
@@ 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.2006.05.021
+Normal rank
@@ Property / OpenAlex ID @@
+W2076087052
@@ Property / OpenAlex ID: W2076087052 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Q4079613
@@ Property / cites work: Q4079613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / 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 @@
+Q4375489
@@ Property / cites work: Q4375489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate reasoning for real-time probabilistic processes
+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 @@
+Q3731958
@@ Property / cites work: Q3731958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250845
@@ Property / cites work: Q3250845 / rank @@
+Normal rank
@@ Property / cites work @@
+Subequalizers
@@ Property / cites work: Subequalizers / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of range of functions
@@ Property / cites work: Extension of range of functions / 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 @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+A strongly polynomial minimum cost circulation algorithm
+Normal rank
@@ Property / cites work @@
+On the foundations of final coalgebra semantics: non-well-founded  sets,  partial orders, metric spaces
+Normal rank
@@ Property / cites work @@
+Q5180666
@@ Property / cites work: Q5180666 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.05.021
@@ Property / DOI: 10.1016/J.TCS.2006.05.021 / rank @@
+Normal rank