Communicating Sequential Processes. The First 25 Years (Q5709375)
From MaRDI portal
scientific article; zbMATH DE number 2233843
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Communicating Sequential Processes. The First 25 Years |
scientific article; zbMATH DE number 2233843 |
Statements
Communicating Sequential Processes. The First 25 Years (English)
0 references
29 November 2005
0 references
Model checking
0 references
infinite-state systems
0 references
data independence
0 references
arrays
0 references
