Back to the format: a survey on SOS for probabilistic processes
From MaRDI portal
(Redirected from Publication:6151619)
Cites work
- A behavioural pseudometric for probabilistic transition systems
- A calculus of communicating systems
- A general SOS theory for the specification of probabilistic transition systems
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes
- A structural approach to operational semantics
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Algebra of communicating processes with abstraction
- Approximating Markovian testing equivalence
- Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
- Axiomatizing probabilistic processes: ACP with generative probabilities
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Bisimulation can't be traced
- Bisimulation through probabilistic testing
- Branching bisimulation congruence for probabilistic systems
- Branching time and abstraction in bisimulation semantics
- Characterising Testing Preorders for Finite Probabilistic Processes
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Compositionality of approximate bisimulation for probabilistic systems
- Computing behavioral distances, compositionally
- Discrete time generative-reactive probabilistic processes with different advancing speeds
- Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
- Exploring probabilistic bisimulations. I
- Fixed-point characterization of compositionality properties of probabilistic processes combinators
- Formal verification of parallel programs
- Handbook of process algebra
- Handbook of weighted automata
- Higher-level synchronising devices in Meije-SCCS
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 2038772 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 846904 (Why is no real title available?)
- scientific article; zbMATH DE number 7315073 (Why is no real title available?)
- scientific article; zbMATH DE number 7318983 (Why is no real title available?)
- Metric semantics for true concurrent real time
- Metrics for labelled Markov processes
- Modal decomposition on nondeterministic probabilistic processes
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
- Observing branching structure through probabilistic contexts
- Precongruence formats for decorated trace semantics
- Probabilistic bisimulation as a congruence
- Probabilistic divide \& congruence: branching bisimilarity
- Probabilistic extensions of process algebras.
- Probabilistic transition system specification: congruence and full abstraction of bisimulation
- Process algebra for synchronous communication
- Raiders of the lost equivalence: probabilistic branching bisimilarity
- Reactive, generative, and stratified models of probabilistic processes
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities
- Remarks on testing probabilistic processes
- Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
- Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
- Rooted branching bisimulation as a congruence
- SOS formats and meta-theory: 20 years after
- SOS specifications for uniformly continuous operators
- SOS-based modal decomposition on nondeterministic probabilistic processes
- Structural operational semantics for continuous state probabilistic processes
- Structural operational semantics for continuous state stochastic transition systems
- Structural operational semantics for non-deterministic processes with quantitative aspects
- Structural operational semantics for stochastic and weighted transition systems
- Structural operational semantics.
- Structured operational semantics and bisimulation as a congruence
- Sós specifications of probabilistic systems by uniformly continuous operators
- The meaning of negative premises in transition system specifications
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
- The quantitative linear-time-branching-time spectrum
- The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
- Trace and testing metrics on nondeterministic probabilistic processes
- Transition system specifications with negative premises
- Tree rules in probabilistic transition system specifications with negative and quantitative premises
This page was built for publication: Back to the format: a survey on SOS for probabilistic processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151619)
