Views of queues (Q1116323)
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: Views of queues |
scientific article; zbMATH DE number 4088908
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Views of queues |
scientific article; zbMATH DE number 4088908 |
Statements
Views of queues (English)
0 references
1988
0 references
The use of algebraic specification techniques in the design of concurrent communicating systems is illustrated. Functional programming and algebraic specification verification techniques are applied to concurrent communicating systems. The queue data type is used to illustrate the techniques.
0 references
algebraic specification
0 references
concurrent communicating systems
0 references
Functional programming
0 references
verification
0 references
queue data type
0 references
