Flat fragments of CTL and CTL: separating the expressive and distinguishing powers (Q4238500)
From MaRDI portal
scientific article; zbMATH DE number 1271174
Language | Label | Description | Also known as |
---|---|---|---|
English | Flat fragments of CTL and CTL: separating the expressive and distinguishing powers |
scientific article; zbMATH DE number 1271174 |
Statements
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers (English)
0 references
5 May 1999
0 references
computation tree logic
0 references
until modality
0 references
linear time
0 references
branching time
0 references
expressive power
0 references
distinguishing power
0 references
bisimulation
0 references
LTL
0 references
CTL
0 references
flat temporal logics
0 references