Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Session Types for Orchestrated Interactions   In the setting of the pi-calculus with binary sessions, we aim at relaxing
the notion of duality of session types by the concept of retractable compliance
developed in contract theory. This leads to extending session types with a new
type operator of "speculative selection" including choices not necessarily
offered by a compliant partner. We address the problem of selecting successful
communicating branches by means of an operational semantics based on
orchestrators, which has been shown to be equivalent to the retractable
semantics of contracts, but clearly more feasible. A type system, sound with
respect to such a semantics, is hence provided.

30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
16
The categories of this paper are: stat
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex