Structural operational semantics for continuous state stochastic transition systems

DOI10.1016/J.JCSS.2014.12.003MaRDI QIDQ2341700zbMATH OpenOpenAlexFDO

Authors Giorgio Bacci, Marino Miculan

Publication date 28 April 2015

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2014.12.003

zbMATH Keywords

Markov processesalgebrasbialgebrascoalgebrasstructural operational semanticsstochastic semanticsrule formatscontinuous state systemsquantitative aspects

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Discrete-time Markov processes on general state spaces (60J05) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Structural operational semantics for continuous state probabilistic processes
• Structural Operational Semantics for Stochastic Process Calculi
• The measurable space of stochastic processes
• Structural operational semantics for stochastic and weighted transition systems
• Foundations of Software Science and Computational Structures

Cites work

• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 46168 (Why is no real title available?)
• scientific article; zbMATH DE number 1314223 (Why is no real title available?)
• scientific article; zbMATH DE number 1343506 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• A calculus of communicating systems
• A categorical model of the fusion calculus
• A hierarchy of probabilistic system types
• A spatial extension to the calculus
• Algebra and Coalgebra in Computer Science
• Algebraically compact functors
• Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation can't be traced
• Bisimulation for labelled Markov processes
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Comparing operational models of name-passing process calculi
• Domain theory, testing and simulation for labelled Markov processes
• Exemplaric Expressivity of Modal Logics
• Final coalgebras for functors on measurable spaces
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
• Labelled Markov processes.
• Measurable stochastics for Brane calculus
• On a description of terminal coalgebras and iterative theories
• On final coalgebras of continuous functors
• On the final sequence of a finitary set functor
• On the greatest fixed point of a set functor
• Process algebra for performance evaluation
• Processes in space
• Recursion schemes from comonads
• Relating coalgebraic notions of bisimulation
• Stochastic Relations
• Structural Operational Semantics for Stochastic Process Calculi
• Structural analysis for stochastic process algebra models
• Structural operational semantics for continuous state probabilistic processes
• Terminal coalgebras in well-founded set theory
• The Category-Theoretic Solution of Recursive Domain Equations
• Universal coalgebra: A theory of systems
• Unprovability of the logical characterization of bisimulation

Cited in

(14)

• Back to the format: a survey on SOS for probabilistic processes
• The measurable space of stochastic processes
• Structural Operational Semantics for Stochastic Process Calculi
• SOS specifications for uniformly continuous operators
• Structural operational semantics for continuous state probabilistic processes
• An Operational Foundation for Delimited Continuations in the CPS Hierarchy
• Foundations of Software Science and Computational Structures
• Structural Operational Semantics for Weighted Transition Systems
• Fundamental Approaches to Software Engineering
• Structural operational semantics for non-deterministic processes with quantitative aspects
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• Structural operational semantics for stochastic and weighted transition systems
• Behavioural equivalences for coalgebras with unobservable moves
• Tackling continuous state-space explosion in a Markovian process algebra

This page was built for publication: Structural operational semantics for continuous state stochastic transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2341700)