\textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708): Difference between revisions

@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Non-bisimulation-based Markovian behavioral equivalences
+Normal rank
@@ Property / cites work @@
+A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
+Normal rank
@@ Property / cites work @@
+Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Relating strong behavioral equivalences for processes with nondeterminism and probabilities
+Normal rank
@@ Property / cites work @@
+Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+A uniform definition of stochastic process calculi
+Normal rank
@@ Property / cites work @@
+Scalar Outcomes Suffice for Finitary Probabilistic Testing
+Normal rank
@@ Property / cites work @@
+Finite state Markovian decision processes
@@ Property / cites work: Finite state Markovian decision processes / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of 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 @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Weighted Transition Systems
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for non-deterministic processes with quantitative aspects
+Normal rank
@@ Property / cites work @@
+Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic communicating processes
@@ Property / cites work: Probabilistic communicating processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations Meet PCTL Equivalences for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965819
@@ Property / cites work: Q4965819 / rank @@
+Normal rank