Back to the format: a survey on SOS for probabilistic processes (Q6151619): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2023.100929
+Normal rank
@@ Property / OpenAlex ID @@
+W4388640038
@@ Property / OpenAlex ID: W4388640038 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating Markovian testing equivalence
@@ Property / cites work: Approximating Markovian testing equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimulation congruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Computing Behavioral Distances, Compositionally
@@ Property / cites work: Computing Behavioral Distances, Compositionally / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Continuous State Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for continuous state stochastic transition systems
+Normal rank
@@ Property / cites work @@
+Axiomatizing probabilistic processes: ACP with generative probabilities
+Normal rank
@@ Property / cites work @@
+Q4963995
@@ Property / cites work: Q4963995 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Q4992526
@@ Property / cites work: Q4992526 / rank @@
+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 @@
+Relating strong behavioral equivalences for processes with nondeterminism and probabilities
+Normal rank
@@ Property / cites work @@
+Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Precongruence formats for decorated trace semantics
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications
+Normal rank
@@ Property / cites work @@
+Discrete time generative-reactive probabilistic processes with different advancing speeds
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Q3384913
@@ Property / cites work: Q3384913 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Decomposition on Nondeterministic Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Q4580323
@@ Property / cites work: Q4580323 / rank @@
+Normal rank
@@ Property / cites work @@
+The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
+Normal rank
@@ Property / cites work @@
+Probabilistic divide \& congruence: branching bisimilarity
+Normal rank
@@ Property / cites work @@
+Raiders of the lost equivalence: probabilistic branching bisimilarity
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: A framework for the modelling and analysis of biological systems
+Normal rank
@@ Property / cites work @@
+Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
+Normal rank
@@ Property / cites work @@
+A general SOS theory for the specification of probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Remarks on Testing Probabilistic Processes
@@ Property / cites work: Remarks on Testing Probabilistic Processes / 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 @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+The quantitative linear-time-branching-time spectrum
+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 @@
+Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
+Normal rank
@@ Property / cites work @@
+Compositional bisimulation metric reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+Q4992498
@@ Property / cites work: Q4992498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995155
@@ Property / cites work: Q4995155 / rank @@
+Normal rank
@@ Property / cites work @@
+SOS specifications of probabilistic systems by uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+SOS specifications for uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Exploring probabilistic bisimulations. I
@@ Property / cites work: Exploring probabilistic bisimulations. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric semantics for true concurrent real time
@@ Property / cites work: Metric semantics for true concurrent real time / 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 stochastic and weighted transition systems
+Normal rank
@@ Property / cites work @@
+Q4864760
@@ Property / cites work: Q4864760 / rank @@
+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 @@
+Q4986263
@@ Property / cites work: Q4986263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3519383
@@ Property / cites work: Q3519383 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for non-deterministic processes with quantitative aspects
+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 @@
+A Proof System for Compositional Verification of Probabilistic Concurrent Processes
+Normal rank
@@ Property / cites work @@
+SOS formats and meta-theory: 20 years after
@@ Property / cites work: SOS formats and meta-theory: 20 years after / 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 @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+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 @@
+Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q4965819
@@ Property / cites work: Q4965819 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6151619