Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014)
From MaRDI portal
scientific article; zbMATH DE number 6416659
Language | Label | Description | Also known as |
---|---|---|---|
English | Propositional Dynamic Logic with Storing, Recovering and Parallel Composition |
scientific article; zbMATH DE number 6416659 |
Statements
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (English)
0 references
18 March 2015
0 references
propositional dynamic logic
0 references
parallel composition
0 references
modal logic for program specification
0 references
concurrency
0 references