Flat fragments of CTL and CTL: separating the expressive and distinguishing powers (Q4238500)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Flat fragments of CTL and CTL: separating the expressive and distinguishing powers |
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
0.84715927
0 references
0.83957994
0 references
0.8295642
0 references
0.82087713
0 references
0.81864995
0 references
0.81123054
0 references
0.80692995
0 references
0 references
