Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Communication Pattern Models: An Extension of Action Models for
  Dynamic-Network Distributed Systems   Halpern and Moses were the first to recognize, in 1984, the importance of a
formal treatment of knowledge in distributed computing. Many works in
distributed computing, however, still employ informal notions of knowledge.
Hence, it is critical to further study such formalizations. Action models, a
significant approach to modeling dynamic epistemic logic, have only recently
been applied to distributed computing, for instance, by Goubault, Ledent, and
Rajsbaum. Using action models for analyzing distributed-computing environments,
as proposed by these authors, has drawbacks, however. In particular, a direct
use of action models may cause such models to grow exponentially as the
computation of the distributed system evolves. Hence, our motivation is finding
compact action models for distributed systems. We introduce communication
pattern models as an extension of both ordinary action models and their update
operator. We give a systematic construction of communication pattern models for
a large variety of distributed-computing models called dynamic-network models.
For a proper subclass of dynamic-network models called oblivious, the
communication pattern model remains the same throughout the computation.

11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an