Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Comparing Deadlock-Free Session Typed Processes   Besides respecting prescribed protocols, communication-centric systems should
never "get stuck". This requirement has been expressed by liveness properties
such as progress or (dead)lock freedom. Several typing disciplines that ensure
these properties for mobile processes have been proposed. Unfortunately, very
little is known about the precise relationship between these disciplines--and
the classes of typed processes they induce.
  In this paper, we compare L and K, two classes of deadlock-free, session
typed concurrent processes. The class L stands out for its canonicity: it
results naturally from interpretations of linear logic propositions as session
types. The class K, obtained by encoding session types into Kobayashi's usage
types, includes processes not typable in other type systems.
  We show that L is strictly included in K. We also identify the precise
condition under which L and K coincide. One key observation is that the degree
of sharing between parallel processes determines a new expressiveness hierarchy
for typed processes. We also provide a type-preserving rewriting procedure of
processes in K into processes in L. This procedure suggests that, while
effective, the degree of sharing is a rather subtle criteria for distinguishing
typed processes.

8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg