No label defined (Q4941913)
From MaRDI portal
scientific article; zbMATH DE number 1418350
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1418350 |
Statements
19 March 2000
0 references
compositional proof method
0 references
concurrent systems
0 references
synchronous message passing
0 references