Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards a Unified Framework for Declarative Structured Communications   We present a unified framework for the declarative analysis of structured
communications. By relying on a (timed) concurrent constraint programming
language, we show that in addition to the usual operational techniques from
process calculi, the analysis of structured communications can elegantly
exploit logic-based reasoning techniques. We introduce a declarative
interpretation of the language for structured communications proposed by Honda,
Vasconcelos, and Kubo. Distinguishing features of our approach are: the
possibility of including partial information (constraints) in the session
model; the use of explicit time for reasoning about session duration and
expiration; a tight correspondence with logic, which formally relates session
execution and linear-time temporal logic formulas.

28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat