Data refinement of remote procedures (Q5930074)
From MaRDI portal
scientific article; zbMATH DE number 1587357
Language | Label | Description | Also known as |
---|---|---|---|
English | Data refinement of remote procedures |
scientific article; zbMATH DE number 1587357 |
Statements
Data refinement of remote procedures (English)
0 references
18 November 2001
0 references
remote procedure calls
0 references
refinement calculus
0 references