Data flow analysis of distributed communicating processes (Q751233)
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: Data flow analysis of distributed communicating processes
scientific article; zbMATH DE number 4176417
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Data flow analysis of distributed communicating processes |
scientific article; zbMATH DE number 4176417 |
Statements
Data flow analysis of distributed communicating processes (English)
0 references
1990
0 references
message passing
0 references
reachability
0 references
Data flow analysis
0 references
communicating processes
0 references
0.8849376
0 references
0.88063806
0 references
0.8618689
0 references
