Categorical specification and implementation of replicated data types (Q2072069)
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 7467470
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Categorical specification and implementation of replicated data types |
scientific article; zbMATH DE number 7467470 |
Statements
Categorical specification and implementation of replicated data types (English)
0 references
1 February 2022
0 references
replicated data types
0 references
specification
0 references
operational semantics
0 references
functorial characterisation
0 references
implementation correctness
0 references
0.7840839624404907
0 references
0.7473207116127014
0 references
0.7372444868087769
0 references
0.736876368522644
0 references
0.7293383479118347
0 references
