Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the specification of operations on the rational behaviour of systems   Structural operational semantics can be studied at the general level of
distributive laws of syntax over behaviour. This yields specification formats
for well-behaved algebraic operations on final coalgebras, which are a domain
for the behaviour of all systems of a given type functor. We introduce a format
for specification of algebraic operations that restrict to the rational
fixpoint of a functor, which captures the behaviour of finite systems. In other
words, we show that rational behaviour is closed under operations specified in
our format. As applications we consider operations on regular languages,
regular processes and finite weighted transition systems.

17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int