Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Causality in the Semantics of Esterel: Revisited   We re-examine the challenges concerning causality in the semantics of Esterel
and show that they pertain to the known issues in the semantics of Structured
Operational Semantics with negative premises. We show that the solutions
offered for the semantics of SOS also provide answers to the semantic
challenges of Esterel and that they satisfy the intuitive requirements set by
the language designers.

23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph