Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Permission-Based Separation Logic for Message-Passing Concurrency   We develop local reasoning techniques for message passing concurrent programs
based on ideas from separation logics and resource usage analysis. We extend
processes with permission- resources and define a reduction semantics for this
extended language. This provides a foundation for interpreting separation
formulas for message-passing concurrency. We also define a sound proof system
permitting us to infer satisfaction compositionally using local,
separation-based reasoning.

6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc