Automated Analysis of Discrete Communication Behavior (Q3761686)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Analysis of Discrete Communication Behavior |
scientific article |
Statements
Automated Analysis of Discrete Communication Behavior (English)
0 references
1987
0 references
algebraic models
0 references
communication protocols
0 references
concurrent process specification
0 references
distributed systems
0 references
verification
0 references
specification and analysis of communicating processes
0 references
Milner's calculus of communicating system
0 references
