Concurrent program schemes and their logics (Q1094866)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concurrent program schemes and their logics |
scientific article |
Statements
Concurrent program schemes and their logics (English)
0 references
1987
0 references
We define and investigate several classes of concurrent program schemes, including goto schemes and two versions of structured schemes, based on extensions of the regular expressions to trees. The schemes are studied on the first-order, Boolean-variable and propositional levels. We also define and study the dynamic logics based on these classes of schemes, including issues of decidability and axiomatization.
0 references
goto schemes
0 references
structured schemes
0 references
dynamic logics
0 references
decidability
0 references
axiomatization
0 references
