No label defined (Q5480652)
From MaRDI portal
scientific article; zbMATH DE number 5043339
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 5043339 |
Statements
3 August 2006
0 references
multi-thread
0 references
host
0 references
network
0 references
service
0 references
thread algebra
0 references
strategic interleaving
0 references
thread-service composition
0 references
delayed processing
0 references
exception handling
0 references
formal design prototype
0 references
process algebra
0 references
