The inner and outer algebras of unified concurrency (Q2296291)
From MaRDI portal
!
WARNING
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 7168638
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The inner and outer algebras of unified concurrency |
scientific article; zbMATH DE number 7168638 |
Statements
The inner and outer algebras of unified concurrency (English)
0 references
18 February 2020
0 references
Unifying Theories of Programming
0 references
inner algebras
0 references
outer algebras
0 references
shared-variable concurrency
0 references
Concurrent Kleene Algebras
0 references
0.7702091336250305
0 references
0.7511656284332275
0 references
0.7322585582733154
0 references
0.7314721345901489
0 references
0.7313172817230225
0 references
