Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q65
@@ Property / Mathematics Subject Classification ID: 68Q65 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680834
@@ Property / zbMATH DE Number: 6680834 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+rule formats
@@ Property / zbMATH Keywords: rule formats / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+behavioural congruences
@@ Property / zbMATH Keywords: behavioural congruences / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantitative models
@@ Property / zbMATH Keywords: quantitative models / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W192542240
@@ Property / OpenAlex ID: W192542240 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0893
@@ Property / arXiv ID: 1410.0893 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for continuous state stochastic transition systems
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
+Normal rank
@@ Property / cites work @@
+Behavioural equivalences for coalgebras with unobservable moves
+Normal rank
@@ Property / cites work @@
+Q4986263
@@ Property / cites work: Q4986263 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform definition of stochastic process calculi
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Monoid-labeled transition systems
@@ Property / cites work: Monoid-labeled transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebraic methods and modal logic in structural operational semantics
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Q4995156
@@ Property / cites work: Q4995156 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for stochastic and weighted transition systems
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating coalgebraic notions of bisimulation
@@ Property / cites work: Relating coalgebraic notions of bisimulation / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:507377