Behavioural equivalences for continuous-time Markov processes (Q6149932): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129523000099
+Normal rank
@@ Property / OpenAlex ID @@
+W4361272622
@@ Property / OpenAlex ID: W4361272622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269108
@@ Property / cites work: Q4269108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5462437
@@ Property / cites work: Q5462437 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for Feller-Dynkin processes
@@ Property / cites work: Bisimulation for Feller-Dynkin processes / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a classification of behavioural equivalences in continuous-time Markov processes
+Normal rank
@@ Property / cites work @@
+Expressiveness of probabilistic modal logics: a gradual approach
+Normal rank
@@ Property / cites work @@
+Bisimulation and cocongruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
+Normal rank
@@ Property / cites work @@
+Semi-pullbacks for stochastic relations over analytic spaces
+Normal rank
@@ Property / cites work @@
+Q3995021
@@ Property / cites work: Q3995021 / 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 @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492756
@@ Property / cites work: Q4492756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5297301
@@ Property / cites work: Q5297301 / rank @@
+Normal rank
@@ Property / cites work @@
+Unprovability of the logical characterization of bisimulation
+Normal rank
@@ Property / cites work @@
+Stochastic-Process Limits
@@ Property / cites work: Stochastic-Process Limits / rank @@
+Normal rank