Object-oriented specification with the parallel multi-label-selective \(\lambda\)-calculus (Q4496249)
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 1490006
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Object-oriented specification with the parallel multi-label-selective \(\lambda\)-calculus |
scientific article; zbMATH DE number 1490006 |
Statements
13 August 2000
0 references
LCEP
0 references
concurrent systems
0 references
0.86675507
0 references
0.8666339
0 references
0 references
0 references
0.8589217
0 references
0.8566576
0 references
Object-oriented specification with the parallel multi-label-selective \(\lambda\)-calculus (English)
0 references
