FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER (Q3016220)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER |
scientific article |
Statements
FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER (English)
0 references
14 July 2011
0 references
concurrent programs
0 references
static analysis
0 references
weighted tree automata
0 references