Measurable stochastics for Brane calculus (Q418841): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q10
@@ Property / Mathematics Subject Classification ID: 68Q10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C42
@@ Property / Mathematics Subject Classification ID: 92C42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6039201
@@ Property / zbMATH DE Number: 6039201 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Brane calculus
@@ Property / zbMATH Keywords: Brane calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+structural operational semantics
@@ Property / zbMATH Keywords: structural operational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic semantics
@@ Property / zbMATH Keywords: stochastic semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Markov processes
@@ Property / zbMATH Keywords: Markov processes / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+rate bisimilarity
@@ Property / zbMATH Keywords: rate bisimilarity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+systems biology
@@ Property / zbMATH Keywords: systems biology / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2042939769
@@ Property / OpenAlex ID: W2042939769 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0488
@@ Property / arXiv ID: 1011.0488 / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable stochastics for Brane calculus
@@ Property / cites work: Measurable stochastics for Brane calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The Calculus of Looping Sequences for Modeling Biological Membranes
+Normal rank
@@ Property / cites work @@
+Bisimulations in calculi modelling membranes
@@ Property / cites work: Bisimulations in calculi modelling membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843720
@@ Property / cites work: Q2843720 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems, Barbed Semantics, and the Mobile Ambients
+Normal rank
@@ Property / cites work @@
+YMCA
@@ Property / cites work: YMCA / rank @@
+Normal rank
@@ Property / cites work @@
+Computational methods in systems biology. International conference CMSB 2007, Edinburgh, Scotland, September 20--21, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating Labelled Markov Processes Again!
@@ Property / cites work: Approximating Labelled Markov Processes Again! / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating Markov Processes by Averaging
@@ Property / cites work: Approximating Markov Processes by Averaging / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and cocongruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic coalgebraic logic
@@ Property / cites work: Stochastic coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+A simple calculus for proteins and cells
@@ Property / cites work: A simple calculus for proteins and cells / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Structural Labelled Transitions for Mobile Ambients
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418841