Deriving State-Based Implementations of Interactive Components with History Abstractions (Q3401943)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deriving State-Based Implementations of Interactive Components with History Abstractions |
scientific article |
Statements
Deriving State-Based Implementations of Interactive Components with History Abstractions (English)
0 references
2 February 2010
0 references
interactive component
0 references
communication history
0 references
stream processing function
0 references
state transition machine
0 references
history abstraction
0 references
