Structural operational semantics for stochastic and weighted transition systems (Q383372): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2013.04.001
@@ Property / DOI: 10.1016/j.ic.2013.04.001 / rank @@
-Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+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 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 @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Rate-Based Transition Systems for Stochastic Process Calculi
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Weighted Transition Systems
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Stochastic Process Calculi
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Language-based performance prediction for distributed and mobile systems
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2013.04.001
@@ Property / DOI: 10.1016/J.IC.2013.04.001 / rank @@
+Normal rank