Bridging the gap between fair simulation and trace inclusion (Q2486398)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bridging the gap between fair simulation and trace inclusion |
scientific article |
Statements
Bridging the gap between fair simulation and trace inclusion (English)
0 references
5 August 2005
0 references
Streett automata
0 references
Trace inclusion
0 references
Fair simulation
0 references
0 references
