Applicability of fair simulation (Q1886036)
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: Applicability of fair simulation |
scientific article; zbMATH DE number 2115407
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applicability of fair simulation |
scientific article; zbMATH DE number 2115407 |
Statements
Applicability of fair simulation (English)
0 references
12 November 2004
0 references
Fair simulation
0 references
Minimization
0 references
Branching time logics
0 references
Preorder
0 references
Assume-guarantee
0 references
0 references
