Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Measurable Stochastics for Brane Calculus   We give a stochastic extension of the Brane Calculus, along the lines of
recent work by Cardelli and Mardare. In this presentation, the semantics of a
Brane process is a measure of the stochastic distribution of possible
derivations. To this end, we first introduce a labelled transition system for
Brane Calculus, proving its adequacy w.r.t. the usual reduction semantics.
Then, brane systems are presented as Markov processes over the measurable space
generated by terms up-to syntactic congruence, and where the measures are
indexed by the actions of this new LTS. Finally, we provide a SOS presentation
of this stochastic semantics, which is compositional and syntax-driven.

30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph