Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Abstract Formal Basis for Digital Crowds   Crowdsourcing, together with its related approaches, has become very popular
in recent years. All crowdsourcing processes involve the participation of a
digital crowd, a large number of people that access a single Internet platform
or shared service. In this paper we explore the possibility of applying formal
methods, typically used for the verification of software and hardware systems,
in analysing the behaviour of a digital crowd. More precisely, we provide a
formal description language for specifying digital crowds. We represent digital
crowds in which the agents do not directly communicate with each other. We
further show how this specification can provide the basis for sophisticated
formal methods, in particular formal verification.

25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math