No label defined (Q4028319)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 139968
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 139968 |
Statements
28 March 1993
0 references
fault testing
0 references
circuit design
0 references
closure
0 references
liveness
0 references
dominance
0 references
reset
0 references
input-output behavior of an arbiter
0 references
synchronization
0 references
continuous automata
0 references
0.99999976
0 references
0.77383757
0 references
0.7584173
0 references
0 references
0.75285596
0 references
0.74909055
0 references
[For the entire collection see Zbl 0747.00051.] Some assumptions concerning the input-output behavior of an arbiter are formalized: Closure, Liveness, Dominance, Reset and a synchronization property. The authors study the models of these properties in the class of continuous automata. It is shown that any continuous automation satisfying the response properties possesses a class of critical conflicting requests that cause it to violate the mutual exclusive property.
0 references
