The intuitionism behind Statecharts steps (Q5738950)
From MaRDI portal
scientific article; zbMATH DE number 6729759
Language | Label | Description | Also known as |
---|---|---|---|
English | The intuitionism behind Statecharts steps |
scientific article; zbMATH DE number 6729759 |
Statements
The intuitionism behind Statecharts steps (English)
0 references
13 June 2017
0 references
compositionality
0 references
Kripke semantics
0 references
statecharts
0 references
full abstraction
0 references
intuitionistic logic
0 references