Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Stream Differential Equations: Specification Formats and Solution
  Methods   Streams, or infinite sequences, are infinite objects of a very simple type,
yet they have a rich theory partly due to their ubiquity in mathematics and
computer science. Stream differential equations are a coinductive method for
specifying streams and stream operations, and their theory has been developed
in many papers over the past two decades. In this paper we present a survey of
the many results in this area. Our focus is on the classification of different
formats of stream differential equations, their solution methods, and the
classes of streams they can define. Moreover, we describe in detail the
connection between the so-called syntactic solution method and abstract GSOS.

24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
3
The categories of this paper are: physics
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat