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

@@ 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