Structural operational semantics for non-deterministic processes with quantitative aspects
From MaRDI portal
Publication:507377
DOI10.1016/J.TCS.2016.01.012zbMath1356.68157arXiv1410.0893OpenAlexW192542240MaRDI QIDQ507377
Marco Peressotti, Marino Miculan
Publication date: 6 February 2017
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.0893
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
\textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics ⋮ AbU: a calculus for distributed event-driven programming with attribute-based interaction ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Structural operational semantics for stochastic and weighted transition systems
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Bialgebras for structural operational semantics: an introduction
- Handbook of weighted automata
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
- Behavioural equivalences for coalgebras with unobservable moves
- Bialgebraic methods and modal logic in structural operational semantics
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Bisimulation through probabilistic testing
- Universal coalgebra: A theory of systems
- Structural operational semantics for continuous state stochastic transition systems
- Terminal coalgebras in well-founded set theory
- Relating coalgebraic notions of bisimulation
- Bisimulation can't be traced
- Monoid-labeled transition systems
- A final coalgebra theorem
- A uniform definition of stochastic process calculi
This page was built for publication: Structural operational semantics for non-deterministic processes with quantitative aspects