Formal Specification of Concurrent Systems: A Structured Approach (Q4226631)
From MaRDI portal
scientific article; zbMATH DE number 1246503
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Specification of Concurrent Systems: A Structured Approach |
scientific article; zbMATH DE number 1246503 |
Statements
Formal Specification of Concurrent Systems: A Structured Approach (English)
0 references
19 January 2000
0 references
Petri Nets
0 references
concurrent systems
0 references
