SOS specifications for uniformly continuous operators
type: Item
instance of: scholarly article
title: SOS specifications for uniformly continuous operators
zbMATH Open document ID: 1380.68296
author: Daniel Gebler
author: Simone Tini
published in: Journal of Computer and System Sciences
publication date: 2017-11-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 6806908
zbMATH Keywords: probabilistic process algebras
zbMATH Keywords: structural operational semantics
zbMATH Keywords: uniform continuity
zbMATH Keywords: SOS specification formats
zbMATH Keywords: compositional reasoning
MaRDI profile type: Publication
full work available at URL: j.jcss.2017.09.011
OpenAlex ID: W2760914093
cites work: Turning SOS rules into equations
cites work: Structural operational semantics.
cites work: Q2767184
cites work: Branching bisimulation for probabilistic systems: characteristics and decidability
cites work: Converging from Branching to Linear Metrics on Markov Chains
cites work: Precongruence formats for decorated trace semantics
cites work: Bisimulation can't be traced
cites work: Structural operational semantics for continuous state stochastic transition systems
cites work: Generalized Bisimulation Metrics
cites work: Modal Decomposition on Nondeterministic Probabilistic Processes
cites work: Metric reasoning about &#x003BB;-terms: The affine case
cites work: Metric Reasoning About $$\lambda $$-Terms: The General Case
cites work: Logical characterization of branching metrics for nondeterministic probabilistic transition systems
cites work: Automata, Languages and Programming
cites work: Q4449238
cites work: Game Refinement Relations and Metrics
cites work: Probabilistic barbed congruence
cites work: Semantics of Probabilistic Processes
cites work: Q4484498
cites work: Metrics for labelled Markov processes
cites work: A general SOS theory for the specification of probabilistic transition systems
cites work: Linear Distances between Markov Chains
cites work: Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Remarks on testing probabilistic processes
cites work: The quantitative linear-time-branching-time spectrum
cites work: Divide and Congruence II
cites work: Compositionality of Hennessy-Milner logic by structural operational semantics
cites work: Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
cites work: Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
cites work: Compositional Metric Reasoning with Probabilistic Process Calculi
cites work: Compositional bisimulation metric reasoning with Probabilistic Process Calculi
cites work: Q4992498
cites work: Q4995155
cites work: SOS specifications of probabilistic systems by uniformly continuous operators
cites work: A logic for reasoning about time and reliability
cites work: Probabilistic extensions of process algebras.
cites work: Metric semantics for true concurrent real time
cites work: Formal verification of parallel programs
cites work: Q4986263
cites work: Taking It to the Limit: Approximate Reasoning for Markov Processes
cites work: Weak Simulation Quasimetric in a Gossip Scenario
cites work: Bisimulation through probabilistic testing
cites work: Probabilistic bisimulation as a congruence
cites work: SOS formats and meta-theory: 20 years after
cites work: A Proof System for Compositional Verification of Probabilistic Concurrent Processes
cites work: Q3619416
cites work: A structural approach to operational semantics
cites work: Formal verification of timed properties of randomized distributed algorithms
cites work: Q4847023
cites work: Q4324960
cites work: Q4965819
cites work: Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
cites work: On behavioural pseudometrics and closure ordinals
cites work: Q4535035
cites work: A behavioural pseudometric for probabilistic transition systems
cites work: Q5432023
DOI: 10.1016/J.JCSS.2017.09.011