A language for the description of interacting parallel processes. II (Q760203)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3883593
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A language for the description of interacting parallel processes. II |
scientific article; zbMATH DE number 3883593 |
Statements
A language for the description of interacting parallel processes. II (English)
0 references
1983
0 references
[For part I see Avtom. Telemekh. 1983, No.7, 124-132 (1983; Zbl 0526.68020).] Additional constraints on the syntax of the language of parallel compositions are introduced. These constraints determine the canonical form of the language, which is applied to decide the problem of equivalence of two arbitrary descriptions in this language.
0 references
syntax
0 references
language of parallel compositions
0 references
canonical form
0 references
0.7609268426895142
0 references
0.7512049078941345
0 references
