GSOS for non-deterministic processes with quantitative aspects
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 1418328 (Why is no real title available?)
- A Compositional Approach to Performance Modelling
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- A uniform definition of stochastic process calculi
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Abstract GSOS rules and a modular treatment of recursive definitions
- Bialgebraic methods and modal logic in structural operational semantics
- Bialgebras for structural operational semantics: an introduction
- Bisimulation can't be traced
- Bisimulation through probabilistic testing
- Coalgebraic logic
- Combining bialgebraic semantics and equations
- Handbook of weighted automata
- Process algebra for performance evaluation
- Structural operational semantics for continuous state probabilistic processes
- Structural operational semantics for stochastic and weighted transition systems
- Tree rules in probabilistic transition system specifications with negative and quantitative premises
- Universal coalgebra: A theory of systems
Cited in
(2)
This page was built for publication: GSOS for non-deterministic processes with quantitative aspects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7032035)
