A specification structure for deadlock-freedom of synchronous processes (Q1960536)
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: A specification structure for deadlock-freedom of synchronous processes |
scientific article; zbMATH DE number 1387435
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A specification structure for deadlock-freedom of synchronous processes |
scientific article; zbMATH DE number 1387435 |
Statements
A specification structure for deadlock-freedom of synchronous processes (English)
0 references
12 January 2000
0 references
specification structures
0 references
interaction categories
0 references
0.89397115
0 references
0.8875632
0 references
0.88123256
0 references
0.8800772
0 references
0.87880135
0 references
0 references
